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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalManufacturing

Sigma KEE - ChemicalManufacturing
ChemicalManufacturing(化學製造業)

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 化學製造業 and 行業屬性

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


(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6150-6150 不相交的 雜項製造業 and 化學製造業
(subAttribute BasicChemicalManufacturing ChemicalManufacturing) naics.kif 3143-3143 子屬性 基礎化學製造業 and 化學製造業
(subAttribute OtherChemicalProductAndPreparationManufacturing ChemicalManufacturing) naics.kif 3434-3434 子屬性 其他化學產品和製劑生產 and 化學製造業
(subAttribute PaintCoatingAndAdhesiveManufacturing ChemicalManufacturing) naics.kif 3374-3374 子屬性 油漆塗料和膠粘劑製造 and 化學製造業
(subAttribute PesticideFertilizerAndOtherAgriculturalChemicalManufacturing ChemicalManufacturing) naics.kif 3297-3297 子屬性 農藥肥料和其他農業化學品製造業 and 化學製造業
(subAttribute PharmaceuticalAndMedicineManufacturing ChemicalManufacturing) naics.kif 3339-3339 子屬性 製藥和醫藥製造業 and 化學製造業
(subAttribute ResinSyntheticRubberAndArtificialAndSyntheticFibersAndFilamentsManufacturing ChemicalManufacturing) naics.kif 3247-3247 子屬性 樹脂合成橡膠和人造及合成纖維和長絲的製造 and 化學製造業
(subAttribute SoapCleaningCompoundAndToiletPreparationManufacturing ChemicalManufacturing) naics.kif 3393-3393 子屬性 肥皂清潔化合物和廁所製備製造 and 化學製造業
(termFormat ChineseLanguage ChemicalManufacturing "化学制造业") domainEnglishFormat.kif 14316-14316
(termFormat ChineseTraditionalLanguage ChemicalManufacturing "化學製造業") domainEnglishFormat.kif 14315-14315
(termFormat EnglishLanguage ChemicalManufacturing "chemical manufacturing") domainEnglishFormat.kif 14314-14314

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