(Slot-Value-Type Anatomical-Structure Embodies Biologic-Function)
(Slot-Value-Type Anatomical-Structure Contains Substance)
(=> (Anatomical-Structure ?Self)
(And (Exists (?A) (And (Part-Of ?Self ?A) (Organism ?A)))
(Forall (?B)
(=> (Reference-Location-Of ?Self ?B)
(Or (Fungus ?B)
(Rickettsia-Or-Chlamydia ?B)
(Bacterium ?B)
(Virus ?B)
(Body-Substance ?B)
(Biologic-Function ?B))))
(Forall (?C)
(=> (Part-Of ?Self ?C)
(Or (Organism ?C) (Anatomical-Structure ?C))))
(Forall (?D)
(=> (Part ?Self ?D)
(Or (Anatomical-Structure ?D) (Substance ?D))))
(Forall (?E)
(=> (Bearer-Of ?Self ?E)
(Or (Medical-Procedure ?E)
(Health-Care-Activity ?E)
(Biologic-Function ?E))))
(Forall (?F)
(=> (Production-Host-Of ?Self ?F)
(Or (Organic-Chemical ?F)
(Body-Substance ?F)
(Biologically-Active-Substance ?F)
(Anatomical-Abnormality ?F))))))