No TPTP formula. May not be expressible in strict first order. | Merge.kif 14573-14573 | Warm blooded vertebrate is a subclass of vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14583-14583 | Bird is a subclass of warm blooded vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14602-14602 | Mammal is a subclass of warm blooded vertebrate |