No TPTP formula. May not be expressible in strict first order. | Food.kif 961-961 | 子類 Crushing and Impacting |
No TPTP formula. May not be expressible in strict first order. | Food.kif 962-962 | 子類 Crushing and Compressing |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | 子類 Crushing and ShapeChange |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1005-1005 | 子類 Grinding and Crushing |