Class LUNGS

Subclass-Of: Organ

Axioms:

(=> (Lungs ?Self)
    (Exists (?A) (And (Embodies ?Self ?A) (Breathing ?A))))

• Defined in theory: Anatomy
• Source code: Anatomy.lisp