Class
BLOOD
Subclass-Of
:
Body-fluid
Axioms:
(=> (
Blood
?Self) (Exists (?A) (And (
Within
?Self ?A) (
Vessel
?A))))
Defined in theory:
Anatomy
Source code:
Anatomy.lisp