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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DualObjectProcess
DualObjectProcess(双受体过程)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1702-1702
No TPTP formula. May not be expressible in strict first order. Merge.kif 1635-1636
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 302-303
No TPTP formula. May not be expressible in strict first order. Merge.kif 1633-1633 双受体过程过程subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12369-12369 连接双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12478-12478 结合双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12131-12131 比较双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12421-12421 脱离双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12504-12504 分开双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11471-11471 代替双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11832-11832 交易双受体过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12753-12753 翻译双受体过程subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 852-852
No TPTP formula. May not be expressible in strict first order. english_format.kif 906-906
No TPTP formula. May not be expressible in strict first order. french_format.kif 528-528
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 59-59
No TPTP formula. May not be expressible in strict first order. terms-it.txt 62-62
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2213-2213
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 480-480
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 95-95
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 549-549
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 63-63

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1638-1644


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