| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14663-14663 | 子類 Reptile and ColdBloodedVertebrate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12562-12562 | 子類 蛇 and Reptile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20266-20266 | 子類 Alligator and Reptile |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30544-30544 | 子類 Crocodile and Reptile |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4923-4923 | 子類 龜 and Reptile |
|
|