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)))
Defined in theory:
Physical-concepts
Source code:
Physical-Concepts.lisp