Class BODY-SYSTEM

A complex of anatomical structures that performs a common function.
Subclass-Of: Anatomical-structure
Axioms:
(Slot-Cardinality Body-System _System 1)

(=> (Body-System ?Self)
    (And (Exists (?A)
                 (And (Prime-Component-Of ?Self ?A) (Organism ?A)))
         (Exists (?B) (And (Component ?Self ?B) (Body-Part ?B)))
         (Exists (?C)
                 (And (Embodies ?Self ?C) (Physiologic-Function ?C)))))