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


No TPTP formula. May not be expressible in strict first order. naics.kif 3121-3123
No TPTP formula. May not be expressible in strict first order. naics.kif 3119-3119 ChemicalManufacturing e' uma instancia de IndustryAttribute

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


No TPTP formula. May not be expressible in strict first order. naics.kif 6150-6150 MiscellaneousManufacturing e' disjunto de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3143-3143 BasicChemicalManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3434-3434 OtherChemicalProductAndPreparationManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3374-3374 PaintCoatingAndAdhesiveManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3297-3297 PesticideFertilizerAndOtherAgriculturalChemicalManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3339-3339 PharmaceuticalAndMedicineManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3247-3247 ResinSyntheticRubberAndArtificialAndSyntheticFibersAndFilamentsManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3393-3393 SoapCleaningCompoundAndToiletPreparationManufacturing e' um sub-atributo de ChemicalManufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14316-14316
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14315-14315
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14314-14314

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


No TPTP formula. May not be expressible in strict first order. 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