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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BasicChemicalManufacturing
BasicChemicalManufacturing(basic chemical manufacturing)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3145-3147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10497-10497
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10496-10496
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10495-10495
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10498-10498
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9902-9902
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10493-10493
No TPTP formula. May not be expressible in strict first order. naics.kif 3143-3143 Basic chemical manufacturing is a subattribute of chemical manufacturing

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3156-3156 Industrial gas manufacturing is a subattribute of basic chemical manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3183-3183 Other basic inorganic chemical manufacturing is a subattribute of basic chemical manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3211-3211 Other basic organic chemical manufacturing is a subattribute of basic chemical manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3149-3149 Petrochemical manufacturing is a subattribute of basic chemical manufacturing
No TPTP formula. May not be expressible in strict first order. naics.kif 3162-3162 Synthetic dye and pigment manufacturing is a subattribute of basic chemical manufacturing
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10110-10110
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10109-10109
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10108-10108


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