No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 129-137 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28-28 | Organism remains is a subclass of organic object |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 101-101 | Human corpse is a subclass of organism remains |