Processo (Process)

Intuitively, the class of things that happen and have temporal parts or stages. Examples include extended events like a football match or a race, actions like Searching and Reading, and biological processes. The formal definition is: anything that lasts for a time but is not an Object. Note that a Process may have participants 'inside' it which are Objects, such as the players in a football match. In a 4D ontology, a Process is something whose spatiotemporal extent is thought of as dividing into temporal stages roughly perpendicular to the time-axis.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Entitá

EntitáConcreta

Processo

Subclass(es)

ProcessoRelazionale ProcessoIntenzionale Movimento CambiamentoInterno CambiamentoDiForma

Coordinate term(s)

Oggetto

Constrains relations

agent capability causes causes subclass confers obligation confers right destination direction experiencer frequency has skill holds obligation holds right inhibits instrument manner origin patient precondition prevents realization resource result sub process

Related WordNet synsets

event: something that happens at a given place and time
change: the act of changing something; "the change of government had no impact on the economy"; "his change on abortion cost him the election"
alteration, modification, adjustment: the act of making something different (as e.g. the size of a garment)
change of state: the act of changing something into something different in essential characteristics
transformation, translation: the act of transforming; "a photograph is a translation of a scene onto a two-dimensional surface"
occurrence: an instance of something occurring; "a disease of frequent occurrence"; "the occurrence (or presence) of life on other planets"
be, occur: happen or come to pass; "I lost my wallet; this was during the visit to my parents' house"; "There were two hundred people at his funeral"; "There was a lot of noise in the kitchen"

See more related synsets on a separate page.

Axioms (6)

EntitáConcreta é esaustivamente partizionato in Oggetto,Processo.

(partition Physical Object Process)

Se process é un' istanza di Processo, allora esiste cause tale che process é un agente di cause.

(=>
      (instance ?PROCESS Process)
      (exists
            (?CAUSE)
            (agent ?PROCESS ?CAUSE)))

Se proc1 é un' istanza di Processo, allora esiste proc2 tale che proc2 causas proc1.

(=>
      (instance ?PROC1 Process)
      (exists
            (?PROC2)
            (causes ?PROC2 ?PROC1)))

Se proc é un' istanza di Processo e subproc é un sottoprocesso di proc, allora esiste time tale che subproc esistes durante time.

(=>
      (and
            (instance ?PROC Process)
            (subProcess ?SUBPROC ?PROC))
      (exists
            (?TIME)
            (time ?SUBPROC ?TIME)))

Se device é un' istanza di Dispositivo, allora esiste Processo proc tale che device é capace di fare proc nel ruolo instrument.

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (capability ?PROC instrument ?DEVICE))))

Se device é un' istanza di Dispositivo, allora esiste Processo proc tale che device ha scopo "device é capace di fare proc nel ruolo instrument".

(=>
      (instance ?DEVICE Device)
      (exists
            (?PROC)
            (and
                  (subclass ?PROC Process)
                  (hasPurpose
                        ?DEVICE
                        (capability ?PROC instrument ?DEVICE)))))