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 e' relacionado internamente por SUMO a Breaking |
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 961-961 |
Crushing e' uma sub-classe de Impactar |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 963-963 |
Crushing e' uma sub-classe de Mudanca de Forma |