(subclass Reptile ColdBloodedVertebrate) | Merge.kif 14709-14709 | |
(subclass Snake Reptile) | Mid-level-ontology.kif 12589-12589 | |
(subclass Alligator Reptile) | Mid-level-ontology.kif 20293-20293 | |
(subclass Crocodile Reptile) | Mid-level-ontology.kif 30568-30568 | |
(subclass Turtle Reptile) | Economy.kif 4923-4923 |