Class LANGUAGE

Subclass-Of: Abstraction

Axioms:

(=> (Language ?Self)
    (Exists (?A) (And (Part ?Self ?A) (Expression ?A))))

• Defined in theory: Representation
• Source code: Representation.lisp