| (subclass Reptile ColdBloodedVertebrate) | Merge.kif 14663-14663 | Reptile est une sous-classe de vert�br� � sang froid |
| (subclass Snake Reptile) | Mid-level-ontology.kif 12562-12562 | Snake est une sous-classe de reptile |
| (subclass Alligator Reptile) | Mid-level-ontology.kif 20266-20266 | Alligator est une sous-classe de reptile |
| (subclass Crocodile Reptile) | Mid-level-ontology.kif 30544-30544 | Crocodile est une sous-classe de reptile |
| (subclass Turtle Reptile) | Economy.kif 4923-4923 | Turtle est une sous-classe de reptile |
|
|