Class META-THING

Subclass-Of: Thing

Subclass-Partition: {Unary-relation, Property, Relation}

Slots Of Instances:

Name:

Slot-Cardinality: 1

Slot-Value-Type: Symbol

Roles:

Slot-Value-Type: Role

Axioms:

(Slot-Value-Type Meta-Thing Properties Symbol)

• Defined in theory: Built-in-theory
• Source code: Built-In-Theory.lisp