No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5280-5280 |
Hardwood est disjoint de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
Hardwood est compl�tement d�compos� en Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5418-5418 |
CedarWood est une sous-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5428-5428 |
FirWood est une sous-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5438-5438 |
LarchWood est une sous-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5458-5458 |
PineWood est une sous-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5448-5448 |
SpruceWood est une sous-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65513-65513 |
|