Class *MASS

Subclass-Of: Material-object

Slots Of Instances:

_Mass:
Slot-Cardinality: 1
Axioms:
(<=> (*Mass ?Self)
     (And (Material-Object ?Self)
          (Value-Cardinality ?Self _Mass 1)
          (Exists (?A)
                  (And (Constituent-Material ?Self ?A)
                       (Substance ?A)))))