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)

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 1581-1582
(subclass DualObjectProcess Process) Merge.kif 1579-1579 Dual object process is a subclass of process

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


(subclass Attaching DualObjectProcess) Merge.kif 12115-12115 Attaching is a subclass of dual object process
(subclass Combining DualObjectProcess) Merge.kif 12224-12224 Combining is a subclass of dual object process
(subclass Comparing DualObjectProcess) Merge.kif 11885-11885 Comparing is a subclass of dual object process
(subclass Detaching DualObjectProcess) Merge.kif 12167-12167 Detaching is a subclass of dual object process
(subclass Separating DualObjectProcess) Merge.kif 12250-12250 Separating is a subclass of dual object process
(subclass Substituting DualObjectProcess) Merge.kif 11288-11288 Substituting is a subclass of dual object process
(subclass Transaction DualObjectProcess) Merge.kif 11649-11649 Transaction is a subclass of dual object process
(subclass Translating DualObjectProcess) Merge.kif 12499-12499 Translating is a subclass of dual object process
(termFormat ChineseLanguage DualObjectProcess "双受体过程") chinese_format.kif 852-852
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 906-906

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


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


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 3.0 is open source software produced by Articulate Software and its partners