No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5280-5280 |
Hardwood is disjoint from softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
Hardwood is exhaustively partitioned into softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5418-5418 |
Cedar wood is a subclass of softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5428-5428 |
Fir wood is a subclass of softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5438-5438 |
Larch wood is a subclass of softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5458-5458 |
PineWood is a subclass of softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5448-5448 |
Spruce wood is a subclass of softwood |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65513-65513 |
|