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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PrimaryMetalManufacturing

Sigma KEE - PrimaryMetalManufacturing
PrimaryMetalManufacturing(primary metal manufacturing)

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 Primary metal manufacturing is an instance of industry attribute

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


(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6147-6147 Miscellaneous manufacturing is disjoint from primary metal manufacturing
(subAttribute AluminaAndAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4016-4016 Alumina and aluminum production and processing is a subattribute of primary metal manufacturing
(subAttribute Foundries PrimaryMetalManufacturing) naics.kif 4146-4146 Foundries is a subattribute of primary metal manufacturing
(subAttribute IronAndSteelMillsAndFerroalloyManufacturing PrimaryMetalManufacturing) naics.kif 3961-3961 Iron and steel mills and ferroalloy manufacturing is a subattribute of primary metal manufacturing
(subAttribute NonferrousMetalExceptAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4063-4063 Nonferrous metal except aluminum production and processing is a subattribute of primary metal manufacturing
(subAttribute SteelProductManufacturingFromPurchasedSteel PrimaryMetalManufacturing) naics.kif 3982-3982 Steel product manufacturing from purchased steel is a subattribute of primary metal manufacturing
(termFormat ChineseLanguage PrimaryMetalManufacturing "主要金属制造业") domainEnglishFormat.kif 47301-47301
(termFormat ChineseTraditionalLanguage PrimaryMetalManufacturing "主要金屬製造業") domainEnglishFormat.kif 47300-47300
(termFormat EnglishLanguage PrimaryMetalManufacturing "primary metal manufacturing") domainEnglishFormat.kif 47299-47299

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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