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

during (during)

(during interval1 interval2) means that interval1 starts after and ends before interval2.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

RelazioneTransitiva
is instance of
RelazioneNonRiflessiva
is instance of
is instance of
  during  

Superrelation(s)

temporal part
is subrelation of
overlaps temporally
is subrelation of
is subrelation of
  during  

Coordinate term(s)

back fn  front fn  attribute  before  connected engineering components  crosses  decreases likelihood  developmental form  disjoint  earlier  finishes  graph part  greater than  in list  increases likelihood  inhibits  interior part  larger  less than  manner  meets spatially  modal attribute  overlaps partially  path length  precondition  prevents  proper part  sibling  smaller  starts  sub collection  sub graph  sub organizations  sub plan  sub proposition  successor attribute closure  superficial part  version 

Type restrictions

during(IntervalloTemporale, IntervalloTemporale)

Axioms (2)

Se interval1 has luogodurante interval2, allora "la fine di interval1" succede?{s} prima di "la fine di interval2" e "l' inizio di interval2" succede?{s} prima di "l' inizio di interval1". 
(=>
      (during ?INTERVAL1 ?INTERVAL2)
      (and
            (before
                  (EndFn ?INTERVAL1)
                  (EndFn ?INTERVAL2))
            (before
                  (BeginFn ?INTERVAL2)
                  (BeginFn ?INTERVAL1))))
Se subproc é un sottoprocesso di proc, allora "il tempo di esistenza di subproc" is uguale a "il tempo di esistenza di proc" o "il tempo di esistenza di subproc" has luogodurante "il tempo di esistenza di proc". 
(=>
      (subProcess ?SUBPROC ?PROC)
      (or
            (equal
                  (WhenFn ?SUBPROC)
                  (WhenFn ?PROC))
            (during
                  (WhenFn ?SUBPROC)
                  (WhenFn ?PROC))))