Common Cyc Abbreviations

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 John Smith's great-great grandmother)
NL Natural Language
NLP Natural Language Processing; also Natural Language Parsing
NLU Natural Language Understanding
OE Ontological Engineer or Engineering (no longer used)
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); (inverse of #$genls); specs is star-closure
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.')