Class WORD

Subclass-Of: Linguistic-expression
Axioms:
(Slot-Value-Type Word Part Morpheme)

(=> (Word ?Self) (Exists (?A) (And (Part ?Self ?A) (Morpheme ?A))))