Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WoodProductManufacturing
WoodProductManufacturing

appearance as argument number 1
-------------------------


(documentation WoodProductManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Wood Product Manufacturing.") naics.kif 2559-2561
(instance WoodProductManufacturing IndustryAttribute) naics.kif 2557-2557
(subAttribute WoodProductManufacturing LumberIndustry) Economy.kif 1779-1779

appearance as argument number 2
-------------------------


(subAttribute OtherWoodProductManufacturing WoodProductManufacturing) naics.kif 2642-2642
(subAttribute SawmillsAndWoodPreservation WoodProductManufacturing) naics.kif 2583-2583
(subAttribute VeneerPlywoodAndEngineeredWoodProductManufacturing WoodProductManufacturing) naics.kif 2601-2601
(termFormat ChineseLanguage WoodProductManufacturing "木制品制造业") domainEnglishFormat.kif 63395-63395
(termFormat ChineseTraditionalLanguage WoodProductManufacturing "木製品製造業") domainEnglishFormat.kif 63394-63394
(termFormat EnglishLanguage WoodProductManufacturing "wood product manufacturing") domainEnglishFormat.kif 63393-63393

antecedent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WoodProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Wood)
                        (material ?THING Wood))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2563-2581


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners