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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PrimaryMetalManufacturing
PrimaryMetalManufacturing(主要金属制造业)

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


(documentation PrimaryMetalManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Primary Metal Manufacturing.") naics.kif 3939-3941
(instance PrimaryMetalManufacturing IndustryAttribute) naics.kif 3937-3937 主要金属制造业行业属性instance

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


(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6147-6147 杂项制造业 和 % 2 是 disjoint
(subAttribute AluminaAndAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4016-4016 氧化铝和铝的生产和加工主要金属制造业subAttribute
(subAttribute Foundries PrimaryMetalManufacturing) naics.kif 4146-4146 代工厂主要金属制造业subAttribute
(subAttribute IronAndSteelMillsAndFerroalloyManufacturing PrimaryMetalManufacturing) naics.kif 3961-3961 钢铁厂和铁合金制造业主要金属制造业subAttribute
(subAttribute NonferrousMetalExceptAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4063-4063 除铝生产和加工外的有色金属主要金属制造业subAttribute
(subAttribute SteelProductManufacturingFromPurchasedSteel PrimaryMetalManufacturing) naics.kif 3982-3982 采购钢材生产钢材主要金属制造业subAttribute
(termFormat ChineseLanguage PrimaryMetalManufacturing "主要金属制造业") domainEnglishFormat.kif 47318-47318
(termFormat ChineseTraditionalLanguage PrimaryMetalManufacturing "主要金屬製造業") domainEnglishFormat.kif 47317-47317
(termFormat EnglishLanguage PrimaryMetalManufacturing "primary metal manufacturing") domainEnglishFormat.kif 47316-47316

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PrimaryMetalManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Metal)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3943-3959


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