Class *SOLID

Subclass-Of: Substance
The-Archetype: Reified-property

Slots Of Instances:

_Solid:
Slot-Cardinality: 1
Axioms:
(<=> (*Solid ?Self)
     (And (Substance ?Self) (Value-Cardinality ?Self _Solid 1)))