Class
SUBMOLECULAR-OBJECT
Subclass-Of
:
Material-object
Axioms:
(=> (
Submolecular-Object
?Self) (Exists (?A) (And (Conventional-Within ?Self ?A) (Physics ?A))))
Defined in theory:
Physical-concepts
Source code:
Physical-Concepts.lisp