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