Tell and Ask
Uses KIF as the “content” language
Operations: Tell, Ask, Untell, Tellable, Askable
Semantics defined for a set of simple relational sentences
Tell Effect
(S F V) (add-slot-value F S V :slot-type :own)
(instance-of F C) (add-instance-type F C)
(class C) (create-class C)
(slot-of S F) (attach-slot F S :slot-type :own)
(subclass-of C Super) (add-class-superclass C Super)
…
Ask Effect
(C ?x) (get-class-instances C)
(S F ?x) (get-slot-values F S)
(S ?x V) (get-frames-with-slot-value S V)
(class ?x) (get-kb-classes)
(subclass-of ?x S) (get-class-subclasses S)
…