No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14573 | 子類 WarmBloodedVertebrate and Vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14583-14583 | 子類 Bird and WarmBloodedVertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14602-14602 | 子類 Mammal and WarmBloodedVertebrate |