No TPTP formula. May not be expressible in strict first order. | Merge.kif 14568-14568 | 子類 ColdBloodedVertebrate and Vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14578-14578 | 子類 Amphibian and ColdBloodedVertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14588-14588 | 子類 Fish and ColdBloodedVertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14685-14685 | 子類 Reptile and ColdBloodedVertebrate |
![]() |