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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis
ChemicalSynthesis(Sintese Quimica)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3185-3186
No TPTP formula. May not be expressible in strict first order. Merge.kif 12546-12547
No TPTP formula. May not be expressible in strict first order. Merge.kif 12544-12544 Sintese Quimica e' uma sub-classe de Processo Quimico
No TPTP formula. May not be expressible in strict first order. Merge.kif 12545-12545 Sintese Quimica e' uma sub-classe de Combinar

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12526-12526 O conceito Processo Quimico e' completamente decomposto em Sintese Quimica + Decomposicao Quimica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10097-10097 AnabolicProcess e' uma sub-classe de Sintese Quimica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19559-19559 ChemicalReduction e' uma sub-classe de Sintese Quimica
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1170-1170
No TPTP formula. May not be expressible in strict first order. english_format.kif 1557-1557
No TPTP formula. May not be expressible in strict first order. french_format.kif 848-848
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 380-380
No TPTP formula. May not be expressible in strict first order. terms-it.txt 383-383
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2532-2532
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 800-800
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 419-419
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 869-869
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 384-384

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 12569-12578

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6477-6487 Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo
No TPTP formula. May not be expressible in strict first order. Merge.kif 12549-12555
No TPTP formula. May not be expressible in strict first order. Merge.kif 12557-12567
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8753-8762
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8781-8790


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