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



KB Term:  Term intersection
English Word: 

  ChemicalManufacturing

Sigma KEE - ChemicalManufacturing
ChemicalManufacturing(chemical manufacturing)

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


(industryProductType ChemicalManufacturing ChemicalArtifact) Society.kif 593-593 ChemicalArtifact is an industry product type of chemical manufacturing
(instance ChemicalManufacturing IndustryAttribute) naics.kif 3113-3113 Chemical manufacturing is an instance of industry attribute
(documentation ChemicalManufacturing EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Chemical Manufacturing.") naics.kif 3115-3117 Chemical manufacturing is an instance of industry attribute

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


(termFormat EnglishLanguage ChemicalManufacturing "chemical manufacturing") domainEnglishFormat.kif 14316-14316
(termFormat ChineseTraditionalLanguage ChemicalManufacturing "化學製造業") domainEnglishFormat.kif 14317-14317
(termFormat ChineseLanguage ChemicalManufacturing "化学制造业") domainEnglishFormat.kif 14318-14318
(subAttribute BasicChemicalManufacturing ChemicalManufacturing) naics.kif 3137-3137 Basic chemical manufacturing is a subattribute of chemical manufacturing
(subAttribute ResinSyntheticRubberAndArtificialAndSyntheticFibersAndFilamentsManufacturing ChemicalManufacturing) naics.kif 3241-3241 Resin synthetic rubber and artificial and synthetic fibers and filaments manufacturing is a subattribute of chemical manufacturing
(subAttribute PesticideFertilizerAndOtherAgriculturalChemicalManufacturing ChemicalManufacturing) naics.kif 3291-3291 Pesticide fertilizer and other agricultural chemical manufacturing is a subattribute of chemical manufacturing
(subAttribute PharmaceuticalAndMedicineManufacturing ChemicalManufacturing) naics.kif 3333-3333 Pharmaceutical and medicine manufacturing is a subattribute of chemical manufacturing
(subAttribute PaintCoatingAndAdhesiveManufacturing ChemicalManufacturing) naics.kif 3368-3368 Paint coating and adhesive manufacturing is a subattribute of chemical manufacturing
(subAttribute SoapCleaningCompoundAndToiletPreparationManufacturing ChemicalManufacturing) naics.kif 3387-3387 Soap cleaning compound and toilet preparation manufacturing is a subattribute of chemical manufacturing
(subAttribute OtherChemicalProductAndPreparationManufacturing ChemicalManufacturing) naics.kif 3428-3428 Other chemical product and preparation manufacturing is a subattribute of chemical manufacturing
(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6147-6147 Miscellaneous manufacturing is disjoint from 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 3119-3135 If X is an instance of organization and chemical 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 pure substance (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