TreeView Knowledge Base Browser - ChemicalDecomposition

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

ChemicalDecomposition

Sigma KEE - ChemicalDecomposition

ChemicalDecomposition(Decomposicao Quimica)

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 12560-12561
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12558-12558	Decomposicao Quimica e' uma sub-classe de Processo Quimico
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12559-12559	Decomposicao Quimica e' uma sub-classe de Separar

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10094-10094	CatabolicProcess e' uma sub-classe de Decomposicao Quimica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12571-12571	Combustao e' uma sub-classe de Decomposicao Quimica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19579-19579	Oxidation e' uma sub-classe de Decomposicao Quimica
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 12504-12504

O conceito Processo Quimico e' completamente decomposto em Sintese Quimica + Decomposicao Quimica

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 191-201	Processo e' uma instancia de PreservingFood Entidade e' uma instancia de Comida Entidade e' um patient de Processo Processo tem por fim Entidade Entidade e' uma instancia de Decomposicao Quimica Entidade e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12563-12569	Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma instancia de Substancia Composta Entidade e' uma instancia de Substancia Elementar Processo e' uma instancia de Decomposicao Quimica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10299-10304	Processo e' uma instancia de Digesting Processo Processo e' uma instancia de Decomposicao Quimica Processo e' um sub-processo de Processo

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