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


KB Term:  Term intersection
English Word: 

Sigma KEE - DualObjectProcess
DualObjectProcess(dual object process)

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


(subclass DualObjectProcess Process) Merge.kif 1726-1726 Dual object process is a subclass of process
(documentation DualObjectProcess EnglishLanguage "Any Process that requires two, nonidentical patients.") Merge.kif 1728-1729 Dual object process is a subclass of process

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


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

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


(=>
    (instance ?PROCESS DualObjectProcess)
    (exists (?OBJ1 ?OBJ2)
        (and
            (patient ?PROCESS ?OBJ1)
            (patient ?PROCESS ?OBJ2)
            (not
                (equal ?OBJ1 ?OBJ2)))))		 Merge.kif 1731-1737 If X is an instance of dual object process, then there exist Y, Z such that Y is a patient of X, Z is a patient of X, equal Y, and Z


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-321a000c (2026-05-05) is open source software produced by Articulate Software and its partners