No TPTP formula. May not be expressible in strict first order. | Cars.kif 1965-1965 | Compressing est une sous-classe de d�palcement |
No TPTP formula. May not be expressible in strict first order. | Food.kif 962-962 | Crushing est une sous-classe de Compressing |