No TPTP formula. May not be expressible in strict first order. | Merge.kif 14568-14568 | Cold blooded vertebrate is a subclass of vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14578-14578 | Amphibian is a subclass of cold blooded vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14588-14588 | Fish is a subclass of cold blooded vertebrate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14685-14685 | Reptile is a subclass of cold blooded vertebrate |