OKBC Knowledge Model
Implicit interlingua for communicated knowledge
Formal object-oriented representation paradigm
A simple frame language
- Class-subclass taxonomies
- Monotonic inheritance
- Type and cardinality constraints on attribute values
- Explicit manipulation of “Frames”
- Objects representing individuals, classes, and relations
KIF sentences
- Asserted and retrieved via Tell and Ask operations