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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis
ChemicalSynthesis(化学合成)

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 12524-12525
No TPTP formula. May not be expressible in strict first order. Merge.kif 12522-12522 化学合成化学过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12523-12523 化学合成结合subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12504-12504 化学过程 详尽无遗地 partition化学合成化学分解
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10098-10098 AnabolicProcess化学合成subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19560-19560 化学还原化学合成subclass
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 12547-12556

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6478-6488 实体共轭物质instance 若且唯若 有存在 客体另一个 客体, and 和 过程 这样 那个 客体复合物质instance那个 另外 客体复合物质instance那个 客体equal 那个 另外 客体那个 过程化学合成instance那个 客体那个 过程resource那个 另外 客体那个 过程resource那个 实体那个 过程result
No TPTP formula. May not be expressible in strict first order. Merge.kif 12527-12533
No TPTP formula. May not be expressible in strict first order. Merge.kif 12535-12545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8754-8763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8782-8791


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