second fn (SecondFn)

A BinaryFunction that assigns a PositiveRealNumber and a subclass of Minutes to the Seconds within each Minute corresponding to that PositiveRealNumber. For example, (SecondFn 4 (MinuteFn 5 Hour)) is the Class of all fourth Seconds of every fifth Minute of every hour. For another example, (SecondFn 8 Minute) would return the eighth second of every minute. For still another example, (SecondFn 9 (MinuteFn 15 (HourFn 14 (DayFn 18 (MonthFn 8 (YearFn 1912)))))) denotes 9 seconds and 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

second 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 minute fn month fn multiplication fn past fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder 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 sekanda SecondFn(dhanaatmaka vaastavika anka, subclass minata)

Axioms (3)

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

(=>
      (instance
            ?SECOND
            (SecondFn ?NUMBER ?MINUTE))
      (lessThan ?NUMBER 60))

Agar second1 is an instance of "the second number1" aur second2 is an instance of "the second number2" aur "(number2-number1)" is equal to , to second1 meets second2.

(=>
      (and
            (instance
                  ?SECOND1
                  (SecondFn ?NUMBER1 ?MINUTE))
            (instance
                  ?SECOND2
                  (SecondFn ?NUMBER2 ?MINUTE))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?SECOND1 ?SECOND2))

sekanda is internally related to second fn.

(relatedInternalConcept Second SecondFn)