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 1775-1775

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 63423-63423
(termFormat ChineseTraditionalLanguage WoodProductManufacturing "木製品製造業") domainEnglishFormat.kif 63422-63422
(termFormat EnglishLanguage WoodProductManufacturing "wood product manufacturing") domainEnglishFormat.kif 63421-63421

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 Wood ?THING))
                    (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