No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1774-1774 |
ForestryAndLogging e' um sub-atributo de LumberIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1777-1777 |
LumberPlywoodMillworkAndWoodPanelWholesalers e' um sub-atributo de LumberIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1776-1776 |
Millwork e' um sub-atributo de LumberIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1775-1775 |
WoodProductManufacturing e' um sub-atributo de LumberIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35297-35297 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35296-35296 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35295-35295 |
|