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

# 丁筳ㄧ计 (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

 贺摸

膥┯闽玒

じㄧ计

丁筳ㄧ计

## Coordinate term(s)

猭ㄧ计  らㄧ计  盞ㄧ计  埃猭ㄧ计  ゅセセㄧ计  计ㄧ计  瓜隔畖ㄧ计  ㄧ计  ユ栋ㄧ计  贺摸磞瓃ㄧ计  挡ㄧ计  ㄧ计  癸计ㄧ计  程ㄧ计  程秖隔畖ㄧ计  代秖ㄧ计  场だ俱砰畉钵ㄧ计  场だ俱砰ユ栋ㄧ计  场だ俱砰羆ㄧ计  程ㄧ计  程秖隔畖ㄧ计  だ牧ㄧ计  るㄧ计  猭ㄧ计  戳戳ㄧ计  秅戳┦禯ㄧ计  闽玒が干ㄧ计  癸丁ㄧ计  緇计ㄧ计  牧ㄧ计  ╰ㄧ计  硉ㄧ计  搭猭ㄧ计  丁虫ㄧ计  丁菌祘ㄧ计  羛栋ㄧ计  竚ㄧ计

## Type restrictions

subclass 盽秖 IntervalFn(盽秖, 盽秖)

## Related WordNet synsets

bracket
a category falling within certain defined limits

See more related synsets on a separate page.

## Axioms (2)

`(relatedInternalConcept IntervalFn RecurrentTimeIntervalFn)`

quantity 琌 "眖 fromto丁筳"  龟ㄒ if and only if quantity ┪单 from and quantity ┪单 to.
```(<=>
(instance
?QUANTITY
(IntervalFn ?FROM ?TO))
(and
(greaterThanOrEqualTo ?QUANTITY ?FROM)
(lessThanOrEqualTo ?QUANTITY ?TO)))```