Class AQUATIC-LARVA

Subclass-Of: Non-human-embryonic-structure

Axioms:

(=> (Aquatic-Larva ?Self)
    (Exists (?A)
            (And (Embodies ?Self ?A)
                 (Breathing ?A)
                 (Exists (?B) (And (Embodied-In ?A ?B) (Gills ?B))))))

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