No TPTP formula. May not be expressible in strict first order. | Merge.kif 12634-12634 | Surface change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3310-3310 | Tracing is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3333-3333 | Drawing is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18007-18007 | Digging is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18021-18021 | Tilling is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18094-18094 | Drilling is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25214-25214 | Smoothing is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25230-25230 | Roughening is a subclass of surface change |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12653-12653 | Coloring is a subclass of surface change |