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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BasicChemicalManufacturing
BasicChemicalManufacturing(基礎化學製造業)
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 子屬性 基礎化學製造業 and 化學製造業

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


No TPTP formula. May not be expressible in strict first order. naics.kif 3156-3156 子屬性 工業氣體製造業 and 基礎化學製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 3183-3183 子屬性 其他基礎無機化學製造業 and 基礎化學製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 3211-3211 子屬性 其他基本有機化學品製造業 and 基礎化學製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 3149-3149 子屬性 石化製造業 and 基礎化學製造業
No TPTP formula. May not be expressible in strict first order. naics.kif 3162-3162 子屬性 合成染料和顏料製造 and 基礎化學製造業
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