Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DualObjectProcess
DualObjectProcess

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


(subclass DualObjectProcess Process) Merge.kif 1726-1726
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") Merge.kif 1728-1729

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


(subclass Substituting DualObjectProcess) Merge.kif 11725-11725
(subclass Transaction DualObjectProcess) Merge.kif 12086-12086
(subclass Comparing DualObjectProcess) Merge.kif 12395-12395
(subclass Attaching DualObjectProcess) Merge.kif 12633-12633
(subclass Detaching DualObjectProcess) Merge.kif 12687-12687
(subclass Combining DualObjectProcess) Merge.kif 12746-12746
(subclass Separating DualObjectProcess) Merge.kif 12772-12772
(subclass Translating DualObjectProcess) Merge.kif 13021-13021
(subclass ProductAssembly DualObjectProcess) Economy.kif 2122-2122
(termFormat EnglishLanguage DualObjectProcess "dual object process") english_format.kif 910-910

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


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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners