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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PetroleumAndCoalProductsManufacturing
PetroleumAndCoalProductsManufacturing

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 PetroleumAndCoalProductsManufacturing est une instance de IndustryAttribute

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


(disjoint MiscellaneousManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 6151-6151 MiscellaneousManufacturing est disjoint de PetroleumAndCoalProductsManufacturing
(subAttribute AsphaltPavingRoofingAndSaturatedMaterialsManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 3078-3078 AsphaltPavingRoofingAndSaturatedMaterialsManufacturing est un sous-attribut de PetroleumAndCoalProductsManufacturing
(subAttribute CoalProductsManufacturing PetroleumAndCoalProductsManufacturing) Economy.kif 1719-1719 CoalProductsManufacturing est un sous-attribut de PetroleumAndCoalProductsManufacturing
(subAttribute OtherPetroleumAndCoalProductsManufacturing PetroleumAndCoalProductsManufacturing) naics.kif 3099-3099 OtherPetroleumAndCoalProductsManufacturing est un sous-attribut de PetroleumAndCoalProductsManufacturing
(subAttribute PetroleumProductsManufacturing PetroleumAndCoalProductsManufacturing) Economy.kif 1839-1839 PetroleumProductsManufacturing est un sous-attribut de PetroleumAndCoalProductsManufacturing
(subAttribute PetroleumRefineries PetroleumAndCoalProductsManufacturing) naics.kif 3072-3072 PetroleumRefineries est un sous-attribut de PetroleumAndCoalProductsManufacturing
(termFormat ChineseLanguage PetroleumAndCoalProductsManufacturing "石油和煤炭产品制造业") domainEnglishFormat.kif 45444-45444
(termFormat ChineseTraditionalLanguage PetroleumAndCoalProductsManufacturing "石油和煤炭產品製造業") domainEnglishFormat.kif 45443-45443
(termFormat EnglishLanguage PetroleumAndCoalProductsManufacturing "petroleum and coal products manufacturing") domainEnglishFormat.kif 45442-45442

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