No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5280-5280 |
Hardwood e' disjunto de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5279-5279 |
O conceito Hardwood e' completamente decomposto em Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5418-5418 |
CedarWood e' uma sub-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5428-5428 |
FirWood e' uma sub-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5438-5438 |
LarchWood e' uma sub-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5458-5458 |
PineWood e' uma sub-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5448-5448 |
SpruceWood e' uma sub-classe de Softwood |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 65513-65513 |
|