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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DualObjectProcess

 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 12347-12347 连接 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12456-12456 结合 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12109-12109 比较 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12399-12399 脱离 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12482-12482 分开 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11449-11449 代替 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11810-11810 交易 是 双受体过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12731-12731 翻译 是 双受体过程 的 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 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