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

だ牧ㄧ计 (MinuteFn)

A BinaryFunction that assigns a PositiveRealNumber and a subclass of Hours to the Minutes within each Hour corresponding to that PositiveRealNumber. For example, (MinuteFn 30 (HourFn 17 Day)) is the Class of all 5:30's in the afternoon. For another example, (MinuteFn 15 Hour) would return the class of all instances of quarter past the hour. For still another example, (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912))))) denotes 15 minutes after 2 PM on the 18th day of August 1912.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

贺摸
is instance of
  膥┯闽玒  
is instance of
  丁闽玒  
is instance of
贺摸
is instance of
  膥┯闽玒  
is instance of
  じㄧ计  
is instance of
is instance of
  だ牧ㄧ计  

Coordinate term(s)

猭ㄧ计  丁秨﹍ㄧ计  らㄧ计  盞ㄧ计  埃猭ㄧ计  ゅセセㄧ计  丁挡ㄧΑ  计ㄧ计  丁ゼㄓㄧΑ  瓜隔畖ㄧ计  ㄧ计  程ゼㄓ丁ㄧ计  程筁丁ㄧ计  ユ栋ㄧ计  丁筳ㄧ计  贺摸磞瓃ㄧ计  挡ㄧ计  ㄧ计  癸计ㄧ计  程ㄧ计  程秖隔畖ㄧ计  代秖ㄧ计  场だ俱砰畉钵ㄧ计  场だ俱砰ユ栋ㄧ计  场だ俱砰羆ㄧ计  程ㄧ计  程秖隔畖ㄧ计  るㄧ计  猭ㄧ计  筁丁ㄧΑ  戳戳ㄧ计  秅戳┦禯ㄧ计  闽玒が干ㄧ计  癸丁ㄧ计  緇计ㄧ计  牧ㄧ计  ╰ㄧ计  硉ㄧ计  搭猭ㄧ计  丁虫ㄧ计  丁菌祘ㄧ计  羛栋ㄧ计  丁ㄧ计  竚ㄧ计  ㄧ计    ┪  ネ  耕Ν  ЧΘ  琿钡  琿舼  丁ざ  丁ざ┪  丁 

Type restrictions

subclass だ MinuteFn(タ龟计, subclass )

Axioms (3)

If minute 琌 "だ牧 number"  龟ㄒ, then number  . 
(=>
      (instance
            ?MINUTE
            (MinuteFn ?NUMBER ?HOUR))
      (lessThan ?NUMBER 60))
If minute1 琌 "だ牧 number1"  龟ㄒ and minute2 琌 "だ牧 number2"  龟ㄒ and "(number2-number1)" 单 , then minute1 (⊿) 钡s minute2. 
(=>
      (and
            (instance
                  ?MINUTE1
                  (MinuteFn ?NUMBER1 ?HOUR))
            (instance
                  ?MINUTE2
                  (MinuteFn ?NUMBER2 ?HOUR))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?MINUTE1 ?MINUTE2))
だ ず场闽 だ牧ㄧ计. 
(relatedInternalConcept Minute MinuteFn)