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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 子屬性 膠和木材化學製造 and 其他基本有機化學品製造業

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