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.

Ontologie

SUMO / UNITS-OF-MEASURE

Class(es)

třída

inheritable relation

binární funkce

interval fn

Související termín(y)

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

Typy argumentů

subclass konstantní veličina IntervalFn(konstantní veličina, konstantní veličina)

Related WordNet synsets

bracket: a category falling within certain defined limits

See more related synsets on a separate page.

Axiomy (2)

interval fn je internally related to recurrent time interval fn.

(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)

quantity je instancí třídy "interval fn(from,to)" tehdy a jen tehdy pokud quantity je větší než nebo roven from a quantity je menší než nebo roven to.

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