cooccur (cooccur)

(cooccur thing1 thing2) means that the Object or Process thing1 occurs at the same time as, together with, or jointly with the Object or Process thing2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

Classe

inheritable relation

PredicatoBinario
is instance of

Classe

inheritable relation

RelazioneTemporale
is instance of

RelazioneDiEquivalenza
is instance of

cooccur

Coordinate term(s)

begin fn day fn end fn future fn hour fn immediate future fn immediate past fn minute fn month fn past fn recurrent time interval fn relative time fn second fn temporal composition fn time interval fn when fn year fn arc weight authors before before or equal causes causes subclass citizen closed on connected contains information copy date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element employs equal equivalence relation on equivalent content class equivalent content instance exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to material measure meets temporally modal attribute overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure temporal part temporally between temporally between or equal time total ordering on trichotomizing on uses valence version

Type restrictions

cooccur(EntitáConcreta, EntitáConcreta)

Related WordNet synsets

convergence: the occurrence of two or more things coming together
synchronism, synchrony, synchronicity, synchroneity, synchronization, synchronisation, synchronizing: the relation that exists when things occur at the same time; "the drug produces an increased synchrony of the brain waves"
coincide, cooccur: go_with, fall together
coextensive, coterminous: of equal extent or duration
synchronous, synchronal, synchronic: occurring or existing at the same time or having the same period or phase; "recovery was synchronous with therapy"- Jour.A.M.A.; "a synchronous set of clocks"; "the synchronous action of a bird's wings in flight"; "synchronous oscillations"

See more related synsets on a separate page.

Axioms (1)

phys1 occores nello stesso tempo di phys2 se e solo se "il tempo di esistenza di phys1" is uguale a "il tempo di esistenza di phys2".

(<=>
      (cooccur ?PHYS1 ?PHYS2)
      (equal
            (WhenFn ?PHYS1)
            (WhenFn ?PHYS2)))