(subclass Reptile ColdBloodedVertebrate) | Merge.kif 14685-14685 | Reptile is a subclass of cold blooded vertebrate |
(subclass Snake Reptile) | Mid-level-ontology.kif 12561-12561 | Snake is a subclass of reptile |
(subclass Alligator Reptile) | Mid-level-ontology.kif 20265-20265 | Alligator is a subclass of reptile |
(subclass Crocodile Reptile) | Mid-level-ontology.kif 30532-30532 | Crocodile is a subclass of reptile |
(subclass Turtle Reptile) | Economy.kif 4923-4923 | Turtle is a subclass of reptile |