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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DualObjectProcess

 Sigma KEE - DualObjectProcess
DualObjectProcess(Processo Dual)

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 Processo Dual e' uma sub-classe de Processo

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12369-12369 Colar e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12478-12478 Combinar e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12131-12131 Comparar e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12421-12421 Descolar e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12504-12504 Separar e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 11471-11471 Substituir e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 11832-11832 Transacao e' uma sub-classe de Processo Dual
No TPTP formula. May not be expressible in strict first order. Merge.kif 12753-12753 Translating e' uma sub-classe de Processo Dual
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