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
-------------------------


(documentation DualObjectProcess ChineseLanguage "任何需要两个不同 patientProcess。") Merge.kif 1674-1674
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") Merge.kif 1672-1673
(subclass DualObjectProcess Process) Merge.kif 1671-1671

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


(subclass Attaching DualObjectProcess) Merge.kif 12225-12225
(subclass Combining DualObjectProcess) Merge.kif 12304-12304
(subclass Comparing DualObjectProcess) Merge.kif 11961-11961
(subclass Detaching DualObjectProcess) Merge.kif 12258-12258
(subclass Separating DualObjectProcess) Merge.kif 12334-12334
(subclass Substituting DualObjectProcess) Merge.kif 11327-11327
(subclass Transaction DualObjectProcess) Merge.kif 11705-11705
(subclass Translating DualObjectProcess) Merge.kif 12597-12597
(termFormat ChineseLanguage DualObjectProcess "双受体过程") chinese_format.kif 852-852
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 539-539
(termFormat FrenchLanguage DualObjectProcess "processus requ�rant deux patients") french_format.kif 528-528
(termFormat Hindi DualObjectProcess "dvi-vastu prakriyaa") terms-hindi.txt 59-59
(termFormat ItalianLanguage DualObjectProcess "ProcessoRelazionale") terms-it.txt 60-60
(termFormat PortugueseLanguage DualObjectProcess "Processo Dual") portuguese_format.kif 480-480
(termFormat ar DualObjectProcess "عَمَلِيَّة ذَات كَائِنَيْن") arabic_format.kif 264-264
(termFormat cz DualObjectProcess "dual object process") terms-cz.txt 95-95
(termFormat tg DualObjectProcess "paraan ng dalawang bagay") terms-tg.txt 63-63

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


(=>
    (instance ?PROCESS DualObjectProcess)
    (exists (?OBJ1 ?OBJ2)
        (and
            (patient ?PROCESS ?OBJ1)
            (patient ?PROCESS ?OBJ2)
            (not
                (equal ?OBJ1 ?OBJ2)))))
Merge.kif 1676-1682


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners