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 例 主要金屬製造業 and 行業屬性

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


(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6147-6147 不相交的 雜項製造業 and 主要金屬製造業
(subAttribute AluminaAndAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4016-4016 子屬性 氧化鋁和鋁的生產和加工 and 主要金屬製造業
(subAttribute Foundries PrimaryMetalManufacturing) naics.kif 4146-4146 子屬性 代工廠 and 主要金屬製造業
(subAttribute IronAndSteelMillsAndFerroalloyManufacturing PrimaryMetalManufacturing) naics.kif 3961-3961 子屬性 鋼鐵廠和鐵合金製造業 and 主要金屬製造業
(subAttribute NonferrousMetalExceptAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4063-4063 子屬性 除鋁生產和加工外的有色金屬 and 主要金屬製造業
(subAttribute SteelProductManufacturingFromPurchasedSteel PrimaryMetalManufacturing) naics.kif 3982-3982 子屬性 採購鋼材生產鋼材 and 主要金屬製造業
(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