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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GumAndWoodChemicalManufacturing

Sigma KEE - GumAndWoodChemicalManufacturing
GumAndWoodChemicalManufacturing(胶和木材化学制造)
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 胶和木材化学制造其他基本有机化学品制造业subAttribute

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