| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12612-12612 | 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 18008-18008 | Digging is a subclass of surface change |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18022-18022 | Tilling is a subclass of surface change |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18095-18095 | Drilling is a subclass of surface change |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25215-25215 | Smoothing is a subclass of surface change |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25231-25231 | Roughening is a subclass of surface change |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12631-12631 | Coloring is a subclass of surface change |
|
|