Class BLOOD

Subclass-Of: Body-fluid
Axioms:
(=> (Blood ?Self) (Exists (?A) (And (Within ?Self ?A) (Vessel ?A))))