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

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
  丁筳ㄧ计  

Coordinate term(s)

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

Type restrictions

subclass 盽秖 IntervalFn(盽秖, 盽秖)

Related WordNet synsets

bracket
a category falling within certain defined limits
bracket is kind of (all)...   bracket is kind of...   kinds of bracket...   kinds of bracket (all)...  
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)))