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)

Classe

inheritable relation

FunzioneBinaria

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 QuantitáCostante IntervalFn(QuantitáCostante, QuantitáCostante)

Related WordNet synsets

bracket: a category falling within certain defined limits

See more related synsets on a separate page.

Axioms (2)

interval fn é interamente correlato a recurrent time interval fn.

(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)

quantity é un' istanza di "l' intervallo da from a to" se e solo se quantity é più grande di o uguale a from e quantity é minore o uguale a to.

(<=>
      (instance
            ?QUANTITY
            (IntervalFn ?FROM ?TO))
      (and
            (greaterThanOrEqualTo ?QUANTITY ?FROM)
            (lessThanOrEqualTo ?QUANTITY ?TO)))