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

recurrent time interval fn (RecurrentTimeIntervalFn)

A function that is useful for generating recurring time intervals. For example, (RecurrentTimeIntervalFn (HourFn 6 Day) (HourFn 12 Day)) returns the Class of TimeIntervals beginning at 6 in the morning and ending at 12 noon. For another example, (RecurrentTimeInterval Saturday Sunday) returns the Class of all weekends. For still another example, (RecurrentTimeInterval June August) returns the Class containing the academic summer period.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

 varga

inheritable relation

saamayika sambandha
 varga

inheritable relation

recurrent time interval fn

Coordinate term(s)

addition fn  begin fn  day fn  density fn  division fn  edition fn  end fn  exponentiation fn  future fn  graph path fn  hour fn  immediate future fn  immediate past fn  intersection fn  interval fn  kappa fn  list concatenate fn  list order fn  log fn  max fn  maximal weighted path fn  measure fn  mereological difference fn  mereological product fn  mereological sum fn  min fn  minimal weighted path fn  minute fn  month fn  multiplication fn  past fn  periodical issue fn  relative complement fn  relative time fn  remainder fn  second fn  series volume fn  speed fn  subtraction fn  temporal composition fn  time interval fn  union fn  when fn  where fn  year fn  before  before or equal  cooccur  earlier  finishes  meets temporally  overlaps temporally  temporally between  temporally between or equal  time

Type restrictions

subclass samaya aMtaraala RecurrentTimeIntervalFn(subclass samaya aMtaraala, subclass samaya aMtaraala)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

interval fn is internally related to recurrent time interval fn.
`(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)`

Agar interval is an instance of "the recurring period from timeclass1 to timeclass2", to yah kuch timeclass1 time1,timeclass2 time2 nahin, ki time1 starts interval aur time2 finishes interval.
```(=>
(instance
?INTERVAL
(RecurrentTimeIntervalFn ?TIMECLASS1 ?TIMECLASS2))
(exists
(?TIME1 ?TIME2)
(and
(instance ?TIME1 ?TIMECLASS1)
(instance ?TIME2 ?TIMECLASS2)
(starts ?TIME1 ?INTERVAL)
(finishes ?TIME2 ?INTERVAL))))```