Class
VASCULAR-TISSUE
Subclass-Of
:
Tissue
Axioms:
(=> (
Vascular-Tissue
?Self) (Exists (?A) (And (
Constituent-Material-Of
?Self ?A) (
Vessel
?A))))
Defined in theory:
Anatomy
Source code:
Anatomy.lisp