Class
PHYSICAL-PERSON
Subclass-Of
:
Person
Axioms:
(=> (
Physical-Person
?Self) (Exists (?A) (And (
Strictly-Depends-On
?Self ?A) (
Organism
?A))))
Defined in theory:
Social-objects
Source code:
Social-Objects.lisp