Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  PrimaryMetalManufacturing

 Sigma KEE - PrimaryMetalManufacturing
PrimaryMetalManufacturing(primary metal manufacturing)

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


(instance PrimaryMetalManufacturing IndustryAttribute) naics.kif 3931-3931 Primary metal manufacturing is an instance of industry attribute
(documentation PrimaryMetalManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Primary Metal Manufacturing.") naics.kif 3933-3935 Primary metal manufacturing is an instance of industry attribute

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


(termFormat EnglishLanguage PrimaryMetalManufacturing "primary metal manufacturing") domainEnglishFormat.kif 47311-47311
(termFormat ChineseTraditionalLanguage PrimaryMetalManufacturing "主要金屬製造業") domainEnglishFormat.kif 47312-47312
(termFormat ChineseLanguage PrimaryMetalManufacturing "主要金属制造业") domainEnglishFormat.kif 47313-47313
(subAttribute IronAndSteelMillsAndFerroalloyManufacturing PrimaryMetalManufacturing) naics.kif 3955-3955 Iron and steel mills and ferroalloy manufacturing is a subattribute of primary metal manufacturing
(subAttribute SteelProductManufacturingFromPurchasedSteel PrimaryMetalManufacturing) naics.kif 3976-3976 Steel product manufacturing from purchased steel is a subattribute of primary metal manufacturing
(subAttribute AluminaAndAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4010-4010 Alumina and aluminum production and processing is a subattribute of primary metal manufacturing
(subAttribute NonferrousMetalExceptAluminumProductionAndProcessing PrimaryMetalManufacturing) naics.kif 4057-4057 Nonferrous metal except aluminum production and processing is a subattribute of primary metal manufacturing
(subAttribute Foundries PrimaryMetalManufacturing) naics.kif 4140-4140 Foundries is a subattribute of primary metal manufacturing
(disjoint MiscellaneousManufacturing PrimaryMetalManufacturing) naics.kif 6144-6144 Miscellaneous manufacturing is disjoint from primary metal manufacturing

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 3937-3953 If X is an instance of organization and primary metal manufacturing is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W, V (5) U such that Y is an instance of manufacture (6) W is an instance of metal (7) W is a patient of Y (8) V is a member of X (9) U is an instance of selling (10) V is an agent of U (11) W is a patient of U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners