Class
ABSTRACTION
Subclass-Of
:
Entity
Subclass-Partition
:
{
Language,
Topic
, Information, Notion
}
The-Archetype:
Type
Axioms:
(
Slot-Cardinality
Abstraction
_Abstract
1)
Defined in theory:
Top-level
Source code:
Top-Level.lisp