No TPTP formula. May not be expressible in strict first order. |
Food.kif 965-966 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 964-964 |
Crushing is internally related to breaking |
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 961-961 |
Crushing is a subclass of impacting |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 963-963 |
Crushing is a subclass of shape change |