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 木制品制造业行业属性instance
(subAttribute WoodProductManufacturing LumberIndustry) Economy.kif 1775-1775 木制品制造业木材业subAttribute

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


(subAttribute OtherWoodProductManufacturing WoodProductManufacturing) naics.kif 2642-2642 其他木制品制造业木制品制造业subAttribute
(subAttribute SawmillsAndWoodPreservation WoodProductManufacturing) naics.kif 2583-2583 锯木厂和木材保护木制品制造业subAttribute
(subAttribute VeneerPlywoodAndEngineeredWoodProductManufacturing WoodProductManufacturing) naics.kif 2601-2601 胶合板和工程木制品制造木制品制造业subAttribute
(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