Class AMPHIBIAN

A cold-blooded, smooth-skinned vertebrate which characteristically hatches as an aquatic larva, breathing by gills. When mature, the amphibian breathes with lungs.
Subclass-Of: Vertebrate
Axioms:
(=> (Amphibian ?Self)
    (And (Exists (?A) (And (Component ?Self ?A) (Cold-Blood ?A)))
         (Exists (?B) (And (Component ?Self ?B) (Lungs ?B)))
         (Exists (?C)
                 (And (Developmental-Form ?Self ?C)
                      (Aquatic-Larva ?C)))
         (Exists (?D) (And (Component ?Self ?D) (Smooth-Skin ?D)))))