Class REPTILE

A cold-blooded vertebrate having an external covering of scales or horny plates. Reptiles breathe by means of lungs and are generally egg-laying.
Subclass-Of: Vertebrate
Axioms:
(=> (Reptile ?Self)
    (And (Exists (?A) (And (Component ?Self ?A) (Cold-Blood ?A)))
         (Exists (?B)
                 (And (Embodies ?Self ?B)
                      (Breathing ?B)
                      (Exists (?C)
                              (And (Embodied-In ?B ?C) (Lungs ?C)))))
         (Exists (?D)
                 (And (Component ?Self ?D)
                      (External-Covering ?D)
                      (Exists (?E)
                              (And (Element ?D ?E)
                                   (Or (Scale ?E) (Horny-Plate ?E))))))))