No TPTP formula. May not be expressible in strict first order. | Food.kif 961-961 | Crushing is a subclass of impacting |
No TPTP formula. May not be expressible in strict first order. | Food.kif 962-962 | Crushing is a subclass of compressing |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | Crushing is a subclass of shape change |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1005-1005 | Grinding is a subclass of crushing |