Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Doppelgegenstandprozess (DualObjectProcess)

Any Process that requires two, nonidentical patients.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Wesen
is subclass of
  körperlicher Gegenstand  
is subclass of
  Prozess  
is subclass of
  Doppelgegenstandprozess  

Subclass(es)

Ersetzen  Transaktion  Vergleichen  Befestigung  Abtrennen  Kombinieren  Trennen 

Coordinate term(s)

absichlicher Prozess  innere Änderung  Bewegung  Formänderung 

Axioms (1)

Wenn process ist ein fall von Doppelgegenstandprozess , dann es gibt ein obj1,obj2 der obj1 ist ein patient von process und obj2 ist ein patient von process und obj1 ist gleich obj2 nicht. 
(=>
      (instance ?PROCESS DualObjectProcess)
      (exists
            (?OBJ1 ?OBJ2)
            (and
                  (patient ?PROCESS ?OBJ1)
                  (patient ?PROCESS ?OBJ2)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))