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 1686-1686
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") Merge.kif 1684-1685
(subclass DualObjectProcess Process) Merge.kif 1683-1683

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


(subclass Attaching DualObjectProcess) Merge.kif 12283-12283
(subclass Combining DualObjectProcess) Merge.kif 12362-12362
(subclass Comparing DualObjectProcess) Merge.kif 12019-12019
(subclass Detaching DualObjectProcess) Merge.kif 12316-12316
(subclass Separating DualObjectProcess) Merge.kif 12392-12392
(subclass Substituting DualObjectProcess) Merge.kif 11385-11385
(subclass Transaction DualObjectProcess) Merge.kif 11763-11763
(subclass Translating DualObjectProcess) Merge.kif 12655-12655
(termFormat ChineseLanguage DualObjectProcess "双受体过程") chinese_format.kif 852-852
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 617-617
(termFormat JapaneseLanguage DualObjectProcess "デュアオブジェクト工程") english_format.kif 618-618

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


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


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