No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12576-12576 | Constrictor snake is a subclass of snake |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12584-12584 | Anaconda is a subclass of constrictor snake |