minute fn (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)

varga

inheritable relation

saamayika sambandha
is instance of

varga

inheritable relation

dvi-aadhaary prakaarya
is instance of

minute fn

Coordinate term(s)

addition fn begin fn day fn density fn division fn edition fn end fn exponentiation fn future fn graph path fn hour fn immediate future fn immediate past fn intersection fn interval 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 month fn multiplication fn past 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 when fn where fn year fn before before or equal cooccur earlier finishes meets temporally overlaps temporally temporally between temporally between or equal time

Type restrictions

subclass minata MinuteFn(dhanaatmaka vaastavika anka, subclass ghantaa)

Axioms (3)

Agar minute is an instance of "the minute number", to number is less than .

(=>
      (instance
            ?MINUTE
            (MinuteFn ?NUMBER ?HOUR))
      (lessThan ?NUMBER 60))

Agar minute1 is an instance of "the minute number1" aur minute2 is an instance of "the minute number2" aur "(number2-number1)" is equal to , to minute1 meets minute2.

(=>
      (and
            (instance
                  ?MINUTE1
                  (MinuteFn ?NUMBER1 ?HOUR))
            (instance
                  ?MINUTE2
                  (MinuteFn ?NUMBER2 ?HOUR))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?MINUTE1 ?MINUTE2))

minata is internally related to minute fn.

(relatedInternalConcept Minute MinuteFn)