No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | 子類 ColdBloodedVertebrate and Vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14556-14556 | 子類 Amphibian and ColdBloodedVertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14566-14566 | 子類 Fish and ColdBloodedVertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14663-14663 | 子類 Reptile and ColdBloodedVertebrate |