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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalDecomposition

 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 12606-12607
No TPTP formula. May not be expressible in strict first order. Merge.kif 12604-12604 子類 ChemicalDecomposition and ChemicalProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 12605-12605 子類 ChemicalDecomposition and Separating

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10121-10121 子類 CatabolicProcess and ChemicalDecomposition
No TPTP formula. May not be expressible in strict first order. Merge.kif 12617-12617 子類 Combustion and ChemicalDecomposition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19606-19606 子類 氧化 and ChemicalDecomposition
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 12550-12550 劃分 ChemicalProcess, ChemicalSynthesis and ChemicalDecomposition

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 12609-12615
No TPTP formula. May not be expressible in strict first order. Merge.kif 10335-10340


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