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