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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PetroleumAndCoalProductsManufacturing

Sigma KEE - PetroleumAndCoalProductsManufacturing
PetroleumAndCoalProductsManufacturing(petroleum and coal products manufacturing)

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


(documentation PetroleumAndCoalProductsManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Petroleum and Coal Products Manufacturing.") naics.kif 3049-3051
(instance PetroleumAndCoalProductsManufacturing IndustryAttribute) naics.kif 3047-3047 Petroleum and coal products manufacturing is an instance of industry attribute

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


(disjoint MiscellaneousManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 6151-6151 Miscellaneous manufacturing is disjoint from petroleum and coal products manufacturing
(subAttribute AsphaltPavingRoofingAndSaturatedMaterialsManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 3078-3078 Asphalt paving roofing and saturated materials manufacturing is a subattribute of petroleum and coal products manufacturing
(subAttribute CoalProductsManufacturing PetroleumAndCoalProductsManufacturing) Economy.kif 1730-1730 Coal products manufacturing is a subattribute of petroleum and coal products manufacturing
(subAttribute OtherPetroleumAndCoalProductsManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 3099-3099 Other petroleum and coal products manufacturing is a subattribute of petroleum and coal products manufacturing
(subAttribute PetroleumProductsManufacturing PetroleumAndCoalProductsManufacturing) Economy.kif 1850-1850 Petroleum products manufacturing is a subattribute of petroleum and coal products manufacturing
(subAttribute PetroleumRefineries PetroleumAndCoalProductsManufacturing) naics.kif 3072-3072 Petroleum refineries is a subattribute of petroleum and coal products manufacturing
(termFormat ChineseLanguage PetroleumAndCoalProductsManufacturing "石油和煤炭产品制造业") domainEnglishFormat.kif 45427-45427
(termFormat ChineseTraditionalLanguage PetroleumAndCoalProductsManufacturing "石油和煤炭產品製造業") domainEnglishFormat.kif 45426-45426
(termFormat EnglishLanguage PetroleumAndCoalProductsManufacturing "petroleum and coal products manufacturing") domainEnglishFormat.kif 45425-45425

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PetroleumAndCoalProductsManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Hydrocarbon)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3053-3069


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