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 子類 DualObjectProcess and Process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12369-12369 子類 Attaching and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 12478-12478 子類 Combining and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 12131-12131 子類 Comparing and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 12421-12421 子類 Detaching and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 12504-12504 子類 Separating and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 11471-11471 子類 Substituting and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 11832-11832 子類 Transaction and DualObjectProcess
No TPTP formula. May not be expressible in strict first order. Merge.kif 12753-12753 子類 翻譯 and DualObjectProcess
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