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

dvi-aadhaary prakaarya

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)))