No TPTP formula. May not be expressible in strict first order. | Cars.kif 1982-1982 | Compressing e' uma sub-classe de Movimento |
No TPTP formula. May not be expressible in strict first order. | Food.kif 962-962 | Crushing e' uma sub-classe de Compressing |