DualObjectProcess - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DualObjectProcess ChineseLanguage "任何需要两个不同 patient 的 Process。")	chinese_format.kif 1702-1702
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.")	Merge.kif 1539-1540
(subclass DualObjectProcess Process)	Merge.kif 1537-1537	subclass DualObjectProcess and Process

appearance as argument number 2

(subclass Attaching DualObjectProcess)	Merge.kif 11442-11442	subclass Attaching and DualObjectProcess
(subclass Combining DualObjectProcess)	Merge.kif 11510-11510	subclass Combining and DualObjectProcess
(subclass Comparing DualObjectProcess)	Merge.kif 11212-11212	subclass Comparing and DualObjectProcess
(subclass Detaching DualObjectProcess)	Merge.kif 11471-11471	subclass Detaching and DualObjectProcess
(subclass Separating DualObjectProcess)	Merge.kif 11536-11536	subclass Separating and DualObjectProcess
(subclass Substituting DualObjectProcess)	Merge.kif 10639-10639	subclass Substituting and DualObjectProcess
(subclass Transaction DualObjectProcess)	Merge.kif 10988-10988	subclass Transaction and DualObjectProcess
(subclass Translating DualObjectProcess)	Merge.kif 11773-11773	subclass Translating and DualObjectProcess
(termFormat ChineseLanguage DualObjectProcess "双受体过程")	chinese_format.kif 852-852
(termFormat EnglishLanguage DualObjectProcess "dual object process")	english_format.kif 911-911

antecedent

(=>
    (instance ?PROCESS DualObjectProcess)
    (exists (?OBJ1 ?OBJ2)
        (and
            (patient ?PROCESS ?OBJ1)
            (patient ?PROCESS ?OBJ2)
            (not
                (equal ?OBJ1 ?OBJ2)))))

Merge.kif 1542-1548

instance Process and DualObjectProcess
Entity Entity patient Process and Entity patient Process and Entity equal Entity and Entity

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

KB Term:			Term intersection

English Word: