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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalManufacturing
ChemicalManufacturing(chemical manufacturing)

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


(documentation ChemicalManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Chemical Manufacturing.") naics.kif 3121-3123
(instance ChemicalManufacturing IndustryAttribute) naics.kif 3119-3119 Chemical manufacturing is an instance of industry attribute

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


(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6150-6150 Miscellaneous manufacturing is disjoint from chemical manufacturing
(subAttribute BasicChemicalManufacturing ChemicalManufacturing) naics.kif 3143-3143 Basic chemical manufacturing is a subattribute of chemical manufacturing
(subAttribute OtherChemicalProductAndPreparationManufacturing ChemicalManufacturing) naics.kif 3434-3434 Other chemical product and preparation manufacturing is a subattribute of chemical manufacturing
(subAttribute PaintCoatingAndAdhesiveManufacturing ChemicalManufacturing) naics.kif 3374-3374 Paint coating and adhesive manufacturing is a subattribute of chemical manufacturing
(subAttribute PesticideFertilizerAndOtherAgriculturalChemicalManufacturing ChemicalManufacturing) naics.kif 3297-3297 Pesticide fertilizer and other agricultural chemical manufacturing is a subattribute of chemical manufacturing
(subAttribute PharmaceuticalAndMedicineManufacturing ChemicalManufacturing) naics.kif 3339-3339 Pharmaceutical and medicine manufacturing is a subattribute of chemical manufacturing
(subAttribute ResinSyntheticRubberAndArtificialAndSyntheticFibersAndFilamentsManufacturing ChemicalManufacturing) naics.kif 3247-3247 Resin synthetic rubber and artificial and synthetic fibers and filaments manufacturing is a subattribute of chemical manufacturing
(subAttribute SoapCleaningCompoundAndToiletPreparationManufacturing ChemicalManufacturing) naics.kif 3393-3393 Soap cleaning compound and toilet preparation manufacturing is a subattribute of chemical manufacturing
(termFormat ChineseLanguage ChemicalManufacturing "化学制造业") domainEnglishFormat.kif 14327-14327 Soap cleaning compound and toilet preparation manufacturing is a subattribute of chemical manufacturing
(termFormat ChineseTraditionalLanguage ChemicalManufacturing "化學製造業") domainEnglishFormat.kif 14326-14326 Soap cleaning compound and toilet preparation manufacturing is a subattribute of chemical manufacturing
(termFormat EnglishLanguage ChemicalManufacturing "chemical manufacturing") domainEnglishFormat.kif 14325-14325 Soap cleaning compound and toilet preparation manufacturing is a subattribute of chemical manufacturing

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG ChemicalManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING PureSubstance)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 3125-3141


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