Untitled

CYC(4): (apropos "KB")
KB-ASSERTION-ARGUMENTS [function] (REQ-0)
KB-SET-ASSERTION-ASSERTED-SECOND [function] (REQ-0 REQ-1)
KB-SET-ASSERTION-ASSERTED-WHEN [function] (REQ-0 REQ-1)
KB-POSSIBLY-ASSERTION-CNF [function] (REQ-0)
KB-ASSERTION-STRENGTH [function] (REQ-0)
KB-LOOKUP-ASSERTION [function] (REQ-0 REQ-1)
KB-SET-ASSERTION-ASSERTED-BY [function] (REQ-0 REQ-1)
KB-ASSERTION-CNF [function] (REQ-0)
DEREGISTER-KB-FUNCTION [function] (REQ-0)
KB-ASSERTION-DIRECTION [function] (REQ-0)
KB-ASSERTION-DEPENDENTS [function] (REQ-0)
KB-CONSTANT-APROPOS [function] (REQ-0 &OPTIONAL OPT-1 OPT-2 OPT-3)
KB-DEDUCTION-STRENGTH [function] (REQ-0)
KB-DEDUCTION-TRUTH [function] (REQ-0)
KB-ASSERTION-TRUTH [function] (REQ-0)
KB-DEDUCTION-ASSERTION [function] (REQ-0)
DO-KB-SUID-TABLE [function] (REQ-0 REQ-1)
KB-CREATE-ASSERTED-ARGUMENT [function] (REQ-0 REQ-1 REQ-2)
KB-LOOKUP-NART [function] (REQ-0)
BFF-CYC-KB-SUBSET-COLLECTIONS unbound
KB-CREATE-ASSERTION [function] (REQ-0 REQ-1)
ALL-EXTERNAL-KB-MODIFICATION-EVENT-FILTER-MESSAGES-FROM-MAILBOX [function] (REQ-
0 &OPTIONAL OPT-1)
CREATE-EXTERNAL-KB-MODIFICATION-EVENT-FILTER-LISTENER [function] (REQ-0 REQ-1 &O
PTIONAL OPT-2)
KB-N-CONSTANTS-BEFORE [function] (REQ-0 REQ-1 &OPTIONAL OPT-2 OPT-3 OPT-4 OPT-5)

KB-VERSION-STRING [function] NIL
CYC-KB-ORTHOGONAL [function] (REQ-0 REQ-1)
KB-SET-ASSERTION-TRUTH [function] (REQ-0 REQ-1)
ADD-EXTERNAL-KB-MODIFICATION-EVENT-FILTER-LISTENER [function] (REQ-0 REQ-1)
KB-CONSTANT-COMPLETE [function] (REQ-0 &OPTIONAL OPT-1 OPT-2 OPT-3 OPT-4)
KB-ASSERTION-CONS [function] (REQ-0)
KB-ASSERTION-ASSERTED-SECOND [function] (REQ-0)
KB-CONSTANT-COMPLETE-EXACT [function] (REQ-0 &OPTIONAL OPT-1 OPT-2)
KB-INIT unbound
DEFINE-KB [function] (REQ-0 REQ-1)
KB-LOAD unbound
KB-CONSTANT-POSTFIX [function] (REQ-0 &OPTIONAL OPT-1 OPT-2 OPT-3)
KB-GAF-ASSERTION? [function] (REQ-0)
INIT-KB unbound
KB-REMOVE-DEDUCTION [function] (REQ-0)
KB-CREATE-CONSTANT [function] (REQ-0 REQ-1)
DELETE-EXTERNAL-KB-MODIFICATION-EVENT-FILTER-LISTENER [function] (REQ-0)
KB-SET-ASSERTION-VARIABLE-NAMES [function] (REQ-0 REQ-1)
KB-ASSERTION-GAF-HL-FORMULA [function] (REQ-0)
REMOVE-EXTERNAL-KB-MODIFICATION-EVENT-FILTER-LISTENER [function] (REQ-0 REQ-1)
KB-LOOKUP-DEDUCTION [function] (REQ-0 REQ-1 REQ-2)
KB-N-CONSTANTS-AFTER [function] (REQ-0 REQ-1 &OPTIONAL OPT-2 OPT-3 OPT-4 OPT-5)
KB-LOOKUP-CONSTANT-BY-GUID [function] (REQ-0)
KB-REMOVE-ASSERTION [function] (REQ-0)
DELETE-KB-MODIFICATION-EVENT-FILTER [function] (REQ-0)
KB-STATISTICS [function] (&OPTIONAL OPT-0)
KB-REMOVE-NART [function] (REQ-0)
KB-SET-ASSERTION-ASSERTED-WHY [function] (REQ-0 REQ-1)
KB-ASSERTION-MT [function] (REQ-0)
KB-RENAME-CONSTANT [function] (REQ-0 REQ-1)
KB-SET-DEDUCTION-STRENGTH [function] (REQ-0 REQ-1)
KB-ASSERTION-ASSERTED-BY [function] (REQ-0)
KB-SET-ASSERTION-STRENGTH [function] (REQ-0 REQ-1)
LOAD-KB unbound
CREATE-KB-MODIFICATION-EVENT-FILTER [function] (REQ-0)
KB-NART-HL-FORMULA [function] (REQ-0)
KB-CONSTANT-MERGED-GUID [function] (REQ-0)
KB-CREATE-NART [function] (REQ-0)
KB-LOOKUP-CONSTANT-BY-NAME [function] (REQ-0)
KB-ASSERTION-ASSERTED-WHEN [function] (REQ-0)
CREATE-EXTERNAL-KB-MODIFICATION-EVENT-FILTER-MESSAGE-MAILBOX-LISTENER [function]
 NIL
KB-REMOVE-ASSERTED-ARGUMENT [function] (REQ-0 REQ-1)
KB-CREATE-DEDUCTION [function] (REQ-0 REQ-1 REQ-2)
KB-LOADED [function] NIL
KB-ASSERTION-VARIABLE-NAMES [function] (REQ-0)
KB-DEDUCTION-SUPPORTS [function] (REQ-0)
KB-ASSERTION-ASSERTED-WHY [function] (REQ-0)
KB-REMOVE-CONSTANT [function] (REQ-0)
KB-SET-ASSERTION-DIRECTION [function] (REQ-0 REQ-1)
KB-CONSTANT-GUID [function] (REQ-0)
KB-LOOKUP-ASSERTED-ARGUMENT [function] (REQ-0 REQ-1 REQ-2)
KB-CONSTANT-NAME [function] (REQ-0)
NOT-IN-KB value: NOT-IN-KB
ALREADY-IN-KB value: ALREADY-IN-KB
EXIT-KB-REMOVE-CONSTANT value: EXIT-KB-REMOVE-CONSTANT
EXIT-KB-SET-ASSERTION-STRENGTH value: EXIT-KB-SET-ASSERTION-STRENGTH
ABORT-KBQ-RUN-QUERY-SET value: ABORT-KBQ-RUN-QUERY-SET
KB-MODIFY-SET-ASSERTION-STRENGTH value: KB-MODIFY-SET-ASSERTION-STRENGTH
EXIT-KB-RENAME-CONSTANT value: EXIT-KB-RENAME-CONSTANT
EXIT-KB-REMOVE-ASSERTED-ARGUMENT value: EXIT-KB-REMOVE-ASSERTED-ARGUMENT
KB-MODIFY-REMOVE-ASSERTED-ARGUMENT value: KB-MODIFY-REMOVE-ASSERTED-ARGUMENT
EXIT-KB-SET-ASSERTION-ASSERTED-WHY value: EXIT-KB-SET-ASSERTION-ASSERTED-WHY
KB-MODIFY-SET-ASSERTION-ASSERTED-WHEN value: KB-MODIFY-SET-ASSERTION-ASSERTED-WH
EN
KB-MODIFY-REMOVE-NART value: KB-MODIFY-REMOVE-NART
KB-MODIFY-SET-ASSERTION-TRUTH value: KB-MODIFY-SET-ASSERTION-TRUTH
KB-MODIFICATION-FILTER-FIRED value: KB-MODIFICATION-FILTER-FIRED
KB-MODIFY-SET-ASSERTION-DIRECTION value: KB-MODIFY-SET-ASSERTION-DIRECTION
KB-MODIFY-CREATE-CONSTANT value: KB-MODIFY-CREATE-CONSTANT
EXIT-KB-SET-DEDUCTION-STRENGTH value: EXIT-KB-SET-DEDUCTION-STRENGTH
EXIT-KB-SET-ASSERTION-DIRECTION value: EXIT-KB-SET-ASSERTION-DIRECTION
KB-MODIFY-RENAME-CONSTANT value: KB-MODIFY-RENAME-CONSTANT
KB-VAR value: KB-VAR
KB value: KB
EXIT-KB-REMOVE-NART value: EXIT-KB-REMOVE-NART
KB-MODIFY-CREATE-ASSERTION value: KB-MODIFY-CREATE-ASSERTION
KB-MODIFY-SET-ASSERTION-ASSERTED-SECOND value: KB-MODIFY-SET-ASSERTION-ASSERTED-
SECOND
EXIT-KB-SET-ASSERTION-ASSERTED-BY value: EXIT-KB-SET-ASSERTION-ASSERTED-BY
REGULAR-KB-ASSERTION value: REGULAR-KB-ASSERTION
EXIT-KB-CREATE-ASSERTED-ARGUMENT value: EXIT-KB-CREATE-ASSERTED-ARGUMENT
EXIT-KB-SET-ASSERTION-TRUTH value: EXIT-KB-SET-ASSERTION-TRUTH
DEFAULT-KB-MODIFICATION-EVENT-FILTER value: DEFAULT-KB-MODIFICATION-EVENT-FILTER

EXIT-KB-SET-ASSERTION-ASSERTED-SECOND value: EXIT-KB-SET-ASSERTION-ASSERTED-SECO
ND
AKB value: AKB
KB-STORE-EVENT value: KB-STORE-EVENT
NO-KB-LOADED value: NO-KB-LOADED
KB-MODIFY-SET-ASSERTION-ASSERTED-WHY value: KB-MODIFY-SET-ASSERTION-ASSERTED-WHY

EXIT-KB-REMOVE-ASSERTION value: EXIT-KB-REMOVE-ASSERTION
KB-MODIFY-SET-ASSERTION-ASSERTED-BY value: KB-MODIFY-SET-ASSERTION-ASSERTED-BY
KB-MODIFY-SET-ASSERTION-VARIABLE-NAMES value: KB-MODIFY-SET-ASSERTION-VARIABLE-N
AMES
KB-MODIFY-SET-DEDUCTION-STRENGTH value: KB-MODIFY-SET-DEDUCTION-STRENGTH
KB-MODIFY-REMOVE-CONSTANT value: KB-MODIFY-REMOVE-CONSTANT
KB-MODIFY-REMOVE-DEDUCTION value: KB-MODIFY-REMOVE-DEDUCTION
KB-MODIFY-CREATE-NEW-DEDUCTION value: KB-MODIFY-CREATE-NEW-DEDUCTION
KB-MODIFICATION-EVENT value: KB-MODIFICATION-EVENT
EXIT-KB-SET-ASSERTION-VARIABLE-NAMES value: EXIT-KB-SET-ASSERTION-VARIABLE-NAMES

KB-MODIFY-REMOVE-ASSERTION value: KB-MODIFY-REMOVE-ASSERTION
KB-MODIFY-CREATE-NART value: KB-MODIFY-CREATE-NART
REMOVAL-KB-SENTENCE-CHECK-NEG value: REMOVAL-KB-SENTENCE-CHECK-NEG
REMOVAL-KB-SENTENCE-LOOKUP-POS value: REMOVAL-KB-SENTENCE-LOOKUP-POS
RUN-TINY-KB-TESTS-IN-FULL-KB? value: RUN-TINY-KB-TESTS-IN-FULL-KB?
EXIT-KB-SET-ASSERTION-ASSERTED-WHEN value: EXIT-KB-SET-ASSERTION-ASSERTED-WHEN
EXIT-KB-REMOVE-DEDUCTION value: EXIT-KB-REMOVE-DEDUCTION
USE-KB-REFORMULATOR-RULES? value: USE-KB-REFORMULATOR-RULES?
KB-MODIFY-CREATE-ASSERTED-ARGUMENT value: KB-MODIFY-CREATE-ASSERTED-ARGUMENT
TKB value: TKB
T