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

ProcessoRelazionale (DualObjectProcess)

Any Process that requires two, nonidentical patients.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  ProcessoRelazionale  

Subclass(es)

Sostituzione  Scambio  Paragonare  Attaccare  Staccare  Combinare  Separare 

Coordinate term(s)

ProcessoIntenzionale  CambiamentoInterno  Movimento  CambiamentoDiForma 

Axioms (1)

Se process é un' istanza di ProcessoRelazionale, allora esiste obj1,obj2 tale che obj1 é un paziente di process e obj2 é un paziente di process e obj1 is not uguale a obj2. 
(=>
      (instance ?PROCESS DualObjectProcess)
      (exists
            (?OBJ1 ?OBJ2)
            (and
                  (patient ?PROCESS ?OBJ1)
                  (patient ?PROCESS ?OBJ2)
                  (not
                        (equal ?OBJ1 ?OBJ2)))))