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.

Ontologie

SUMO / TEMPORAL-CONCEPTS

Class(es)

třída

inheritable relation

časová relace
is instance of

třída

inheritable relation

binární funkce
is instance of

second fn

Související termín(y)

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

Typy argumentů

subclass vteřina SecondFn(kladné reálné číslo, subclass minuta)

Axiomy (3)

Jestliže second je instancí třídy "number of minute", potom number je menší než .

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

Jestliže second1 je instancí třídy "number1 of minute" a second2 je instancí třídy "number2 of minute" a "(number2-number1)" se rovná , potom second1 meets second2.

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

vteřina je internally related to second fn.

(relatedInternalConcept Second SecondFn)