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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DualObjectProcess
DualObjectProcess(dual object process)dual_object_process, デュアオブジェクト工程, 双受体过程

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


(documentation DualObjectProcess ChineseLanguage "任何需要两个不同 patientProcess。") chinese_format.kif 1702-1702
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") Merge.kif 1542-1543
(subclass DualObjectProcess Process) Merge.kif 1540-1540 Dual object process is a subclass of process

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


(subclass Attaching DualObjectProcess) Merge.kif 11351-11351 Attaching is a subclass of dual object process
(subclass Combining DualObjectProcess) Merge.kif 11419-11419 Combining is a subclass of dual object process
(subclass Comparing DualObjectProcess) Merge.kif 11121-11121 Comparing is a subclass of dual object process
(subclass Detaching DualObjectProcess) Merge.kif 11380-11380 Detaching is a subclass of dual object process
(subclass Separating DualObjectProcess) Merge.kif 11445-11445 Separating is a subclass of dual object process
(subclass Substituting DualObjectProcess) Merge.kif 10548-10548 Substituting is a subclass of dual object process
(subclass Transaction DualObjectProcess) Merge.kif 10897-10897 Transaction is a subclass of dual object process
(subclass Translating DualObjectProcess) Merge.kif 11682-11682 Translating is a subclass of dual object process
(termFormat ChineseLanguage DualObjectProcess "双受体过程") chinese_format.kif 852-852 "双受体过程" is the printable form of dual object process in ChineseLanguage
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 911-911 "dual object process" is the printable form of dual object process in english language

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


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


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