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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalDecomposition
ChemicalDecomposition(化学分解)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3187-3188
No TPTP formula. May not be expressible in strict first order. Merge.kif 12582-12583
No TPTP formula. May not be expressible in strict first order. Merge.kif 12580-12580 化学分解 是 化学过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12581-12581 化学分解 是 分开 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10093-10093 CatabolicProcess 是 化学分解 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12593-12593 燃烧 是 化学分解 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19578-19578 氧化 是 化学分解 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1171-1171
No TPTP formula. May not be expressible in strict first order. english_format.kif 1559-1559
No TPTP formula. May not be expressible in strict first order. french_format.kif 849-849
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 381-381
No TPTP formula. May not be expressible in strict first order. terms-it.txt 384-384
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2533-2533
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 801-801
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 420-420
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 870-870
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 385-385

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12526-12526 化学过程 详尽无遗地 partition 成 化学合成 和 化学分解

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 191-201
No TPTP formula. May not be expressible in strict first order. Merge.kif 12585-12591
No TPTP formula. May not be expressible in strict first order. Merge.kif 10321-10326


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