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

# temporally between or equal (temporallyBetweenOrEqual)

(temporallyBetweenOrEqual point1 point2 point3) means that the TimePoint point1 is before or equal to the TimePoint point2 and point2 is before or equal to the TimePoint point3.

## Ontology

SUMO / TEMPORAL-CONCEPTS

## Class(es)

 Classe

inheritable relation

RelazioneTemporale
 Classe

inheritable relation

PredicatoTernario

temporally between or equal

## Subrelation(s)

temporally between

## 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  altitude  before  before or equal  between  capability  conditional probability  confers obligation  confers right  connects  cooccur  depth  distance  domain  domain subclass  earlier  finishes  has purpose for agent  links  meets temporally  occupies position  orientation  overlaps temporally  prefers  related external concept  represents for agent  represents in language  temporally between  time

## Type restrictions

temporallyBetweenOrEqual(PuntoTemporale, PuntoTemporale, PuntoTemporale)

## Axioms (3)

point2 é tra o in point1 e point3 se e solo se point1 succede?{s} prima di o con point2 e point2 succede?{s} prima di o con point3.
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
(and
(beforeOrEqual ?POINT1 ?POINT2)
(beforeOrEqual ?POINT2 ?POINT3)))

phys esistes durante time e time é un' istanza di PuntoTemporale se e solo se time é tra o in "l' inizio di "il tempo di esistenza di phys"" e "la fine di "il tempo di esistenza di phys"".
(<=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS))
?TIME
(EndFn
(WhenFn ?PHYS))))

Se "intervallo tra point1 e point2" is uguale a interval, allora per ogni point vale: point é tra o in point1 e point2 se e solo se point é una parte diinterval.
(=>
(equal
(TimeIntervalFn ?POINT1 ?POINT2)
?INTERVAL)
(forall
(?POINT)
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
(temporalPart ?POINT ?INTERVAL))))