No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12562-12562 | Snake is a subclass of reptile |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12572-12572 | Rattlesnake is a subclass of snake |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12577-12577 | Constrictor snake is a subclass of snake |