Abbrev. | Definition |
---|---|
AIS | AbstractInformationStructure |
API | Application Programmers' Interface |
Arg | Logical 'argument' position of some relation in the CYC KB. |
BLO | #$BiologicalLivingObject |
CNF | Conjunctive Normal Form |
CW | Conceptual Work |
CycL | The Cyc® description language; extended predicate logic; formerly called CL (Constraint Language), then EL (Epistemological Language); see #$CycL (includes HL) |
DARPA | Defense Advanced Research Projects Agency |
Defn | Definition |
DNF | Disjunctive Normal Form |
EL | Epistemological Level (user-level representations) |
FI | Functional Interface |
Fn | Function |
FOPC | First-Order Predicate Calculus |
FP | Forward Propagate |
GAF | Ground Atomic Formula |
genl | Generalization (i.e. a more general term); #$genls is star-closure |
GT | General Transitivity |
HL | Heuristic Level (an internal machine represention) |
HPKB | The DARPA High-Performance Knowledge Bases project |
IBO | #$InformationBearingObject |
IBQS | #$IntervalBasedQuantitySlot |
IBT | #$InformationBearingThing |
IDE | Integrated Development Environment |
IKB | Integrated Knowledge Base -- the version of the Cyc® Knowledge Base released for the High-Performance Knowledge Base project |
KB | #$KnowledgeBase, specifically, the CYC® Knowledge Base |
KE | Knowledge Entry (into the CYC® KB) |
KFD | Knowledge Formation through Dialog |
LHS | Left-Hand Side (of a rule); the antecedent |
MELD | Moderately Expressive Logical Description language; a superset of CycL |
Mt | #$Microtheory |
MWW | Multi-Word-Word |
NART | Non-Atomic Reified Term |
NAT | Non-Atomic Term; a function together with its argument(s) |
NAUT | Non-Atomic Un-reified Term; a functional term that is semantically valid but CYC® has currently not thought about (like Jen Headley's great-great grandmother) |
NL | Natural Language |
NLP | Natural Language Processing; also Natural Language Parsing |
NLU | Natural Language Understanding |
OE | Ontological Engineer or Engineering |
PIT | #$PropositionalInformationThing |
pred | #$Predicate |
PSC | #$ProblemSolvingCntxt |
Reln | Relation |
RHS | Right-Hand Side (of a rule); the consequent |
RKF | Rapid Knowledge Formation -- the DARPA follow-on research project to HPKB |
SDBI | Semantic Database Integration |
SKSI | Semantic Knowledge Source Integration |
SME | Subject Matter Expert |
spec | Specialization (i.e. a more specialized term); specs is star-closure (inverse of #$genls) |
STIB | Short Time Interval Before [see #$STIB] |
STIF | Short Time Interval Following [see #$STIF] |
SubL | A dialect of Lisp designed to implement the Cyc® application |
TMS | Truth-Maintenance System |
WALES | Web-Assisted Lexical Entry System |
WFF | Well-formed formula; pronounced 'woof.' Used as an adjective to denote correctness (i.e. 'This CycL sentence is not wff.') |