LumberIndustry precondition
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8580-8580 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9392-9392 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1773-1773 | LumberIndustry e' uma instancia de IndustryAttribute |
appearance as argument number 2 |
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 |