No TPTP formula. May not be expressible in strict first order. | Food.kif 961-961 | Crushing e' uma sub-classe de Impactar |
No TPTP formula. May not be expressible in strict first order. | Food.kif 962-962 | Crushing e' uma sub-classe de Compressing |
No TPTP formula. May not be expressible in strict first order. | Food.kif 963-963 | Crushing e' uma sub-classe de Mudanca de Forma |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1005-1005 | Grinding e' uma sub-classe de Crushing |
![]() |