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 3128-3130
(industryProductType ChemicalManufacturing ChemicalArtifact) Society.kif 591-591
(instance ChemicalManufacturing IndustryAttribute) naics.kif 3126-3126

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


(disjoint MiscellaneousManufacturing ChemicalManufacturing) naics.kif 6157-6157
(subAttribute BasicChemicalManufacturing ChemicalManufacturing) naics.kif 3150-3150
(subAttribute OtherChemicalProductAndPreparationManufacturing ChemicalManufacturing) naics.kif 3441-3441
(subAttribute PaintCoatingAndAdhesiveManufacturing ChemicalManufacturing) naics.kif 3381-3381
(subAttribute PesticideFertilizerAndOtherAgriculturalChemicalManufacturing ChemicalManufacturing) naics.kif 3304-3304
(subAttribute PharmaceuticalAndMedicineManufacturing ChemicalManufacturing) naics.kif 3346-3346
(subAttribute ResinSyntheticRubberAndArtificialAndSyntheticFibersAndFilamentsManufacturing ChemicalManufacturing) naics.kif 3254-3254
(subAttribute SoapCleaningCompoundAndToiletPreparationManufacturing ChemicalManufacturing) naics.kif 3400-3400
(termFormat EnglishLanguage ChemicalManufacturing "chemical manufacturing") domainEnglishFormat.kif 2809-2809

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners