| (subclass Reptile ColdBloodedVertebrate) | Merge.kif 14685-14685 | Rettile è una sottoclasse di AnimaleASangueFreddo |
| (subclass Snake Reptile) | Mid-level-ontology.kif 12561-12561 | Snake è una sottoclasse di Rettile |
| (subclass Alligator Reptile) | Mid-level-ontology.kif 20265-20265 | Alligator è una sottoclasse di Rettile |
| (subclass Crocodile Reptile) | Mid-level-ontology.kif 30532-30532 | Crocodile è una sottoclasse di Rettile |
| (subclass Turtle Reptile) | Economy.kif 4923-4923 | Turtle è una sottoclasse di Rettile |
|
|