No TPTP formula. May not be expressible in strict first order. | Merge.kif 14500-14500 | Vertebrate is a subclass of animal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14546-14546 | Cold blooded vertebrate is a subclass of vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14551-14551 | Warm blooded vertebrate is a subclass of vertebrate |