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

# interval fn (IntervalFn)

A BinaryFunction that maps two ConstantQuantities to the Class of ConstantQuantities that comprise the interval from the first ConstantQuantity to the second ConstantQuantity. For example, (IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter)) would return the Class of ConstantQuantities between 8 and 14 meters in length.

## Ontology

SUMO / UNITS-OF-MEASURE

## Class(es)

 varga

inheritable relation

interval fn

## Coordinate term(s)

addition fn  day fn  density fn  division fn  edition fn  exponentiation fn  graph path fn  hour fn  intersection 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  periodical issue fn  recurrent time interval 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  where fn

## Type restrictions

subclass sthira parimaaNa IntervalFn(sthira parimaaNa, sthira parimaaNa)

## Related WordNet synsets

bracket
a category falling within certain defined limits

See more related synsets on a separate page.

## Axioms (2)

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

quantity is an instance of "the interval from from to to" agar hai quantity is greater than or equal to from aur quantity is less than or equal to to.
```(<=>
(instance
?QUANTITY
(IntervalFn ?FROM ?TO))
(and
(greaterThanOrEqualTo ?QUANTITY ?FROM)
(lessThanOrEqualTo ?QUANTITY ?TO)))```