Algernon: Kuipers, James Crawford. A frame system with
logical semantics. Socratic completeness: logical completeness
if the right questions are asked in the right order.
KM: Porter, Peter Clark. A frame system with logical semantics.
Skolems are lazily instantiated. KM can simulate actions, using delete
and add lists.
CycL: Logic-like representation language of Cyc.
Microtheory: set of assertions that share assumptions.
KIF: Knowledge Interchange Format, a logic-like language for
exchanging information among AI systems.
http://logic.stanford.edu/kif/kif.html
(defrelation natural (?x) :=
(and (integer ?x) (> = ?x 0)))
(believes john '(material moon stilton))
(=> (believes john ?p) (believes mary ?p))
KL-ONE: automatic classification of instances to the right
place in a taxonomy.