CambioDiDirezione (DirectionChange)

The act of changing the direction in which the patient of the act is oriented.

Ontology

SUMO / PROCESSES

Superclass(es)

Entitá

EntitáConcreta

Processo

Movimento

CambioDiDirezione

Coordinate term(s)

MovimentoCorporeo Radiazione Trasferimento Trasporto

Related WordNet synsets

change of direction: the act of changing the direction in which something is oriented

See more related synsets on a separate page.

Axioms (1)

Se proc é un' istanza di CambioDiDirezione, allora esiste AttributoDirezionale attr tale che

"proc é eseguito nel modo attr" vales durante "immediatamente prima di "il tempo di esistenza di proc"" e "proc é eseguito nel modo attr" vales durante "immediatamente dopo "il tempo di esistenza di proc""
"proc é eseguito nel modo attr" vales durante "immediatamente dopo "il tempo di esistenza di proc"" e "proc é eseguito nel modo attr" vales durante "immediatamente prima di "il tempo di esistenza di proc""

(=>
      (instance ?PROC DirectionChange)
      (exists
            (?ATTR)
            (and
                  (instance ?ATTR DirectionalAttribute)
                  (or
                        (and
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))
                        (and
                              (holdsDuring
                                    (ImmediateFutureFn
                                          (WhenFn ?PROC))
                                    (manner ?PROC ?ATTR))
                              (holdsDuring
                                    (ImmediatePastFn
                                          (WhenFn ?PROC))
                                    (not
                                          (manner ?PROC ?ATTR))))))))