No TPTP formula. May not be expressible in strict first order. | Merge.kif 12652-12652 | Shape change is a subclass of internal change |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3165-3165 | Folding is a subclass of shape change |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | Crushing is a subclass of shape change |