Class THEORY

Subclass-Of: Text
Axioms:
(Slot-Cardinality Theory _Formal 1)

(=> (Theory ?Self)
    (Exists (?A) (And (Represents ?Self ?A) (Topic ?A))))