A complex of anatomical structures that performs a common function.
(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)))))