| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12634-12634 | Mudanca Superficial e' uma sub-classe de Mudanca Interna |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3310-3310 | Tracing e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3333-3333 | Drawing e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18007-18007 | Digging e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18021-18021 | Tilling e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18094-18094 | Drilling e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25214-25214 | Smoothing e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25230-25230 | Roughening e' uma sub-classe de Mudanca Superficial |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12653-12653 | Colorir e' uma sub-classe de Mudanca Superficial |
|
|