No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18094-18094 | Drilling is a subclass of intentional process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18095-18095 | Drilling is a subclass of surface change |