Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

dual object process (DualObjectProcess)

Any Process that requires two, nonidentical patients.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  dual object process  

Subclass(es)

substituting  transaction  comparing  attaching  detaching  combining  separating 

Coordinate term(s)

intentional process  internal change  motion  shape change 

Axioms (1)

If process is an instance of dual object process, then there exist obj1,obj2 so that obj1 is a patient of process and obj2 is a patient of process and obj1 is not equal to obj2. 
(=>
      (instance ?PROCESS DualObjectProcess)
      (exists
            (?OBJ1 ?OBJ2)
            (and
                  (patient ?PROCESS ?OBJ1)
                  (patient ?PROCESS ?OBJ2)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))