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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GumAndWoodChemicalManufacturing
GumAndWoodChemicalManufacturing(gum and wood chemical manufacturing)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3219-3222
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10044-10044
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11119-11119
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11121-11121
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11123-11123
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11125-11125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11118-11118
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11126-11126
No TPTP formula. May not be expressible in strict first order. naics.kif 3217-3217 Gum and wood chemical manufacturing is a subattribute of other basic organic chemical manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27066-27066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27065-27065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 27064-27064


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