No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | 子類 Vertebrate and Animal |
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 14551-14551 | 子類 WarmBloodedVertebrate and Vertebrate |