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 3946-3948
(instance PrimaryMetalManufacturing IndustryAttribute) naics.kif 3944-3944

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


(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6154-6154
(subAttribute AluminaAndAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4023-4023
(subAttribute Foundries PrimaryMetalManufacturing) naics.kif 4153-4153
(subAttribute IronAndSteelMillsAndFerroalloyManufacturing PrimaryMetalManufacturing) naics.kif 3968-3968
(subAttribute NonferrousMetalExceptAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4070-4070
(subAttribute SteelProductManufacturingFromPurchasedSteel PrimaryMetalManufacturing) naics.kif 3989-3989
(termFormat ChineseLanguage PrimaryMetalManufacturing "主要金属制造业") domainEnglishFormat.kif 47300-47300
(termFormat ChineseTraditionalLanguage PrimaryMetalManufacturing "主要金屬製造業") domainEnglishFormat.kif 47299-47299
(termFormat EnglishLanguage PrimaryMetalManufacturing "primary metal manufacturing") domainEnglishFormat.kif 47298-47298

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 3950-3966


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