day fn (DayFn)

A BinaryFunction that assigns a PositiveRealNumber and a subclass of Months to the Days within each Month corresponding to that PositiveRealNumber. For example, (DayFn 16 August) is the Class of all sixteenth days of August. For another example, (DayFn 9 Month) would return the class of all ninth days of any month. For still another example, (DayFn 18 (MonthFn 8 (YearFn 1912))) denotes 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

day fn

Související termín(y)

addition fn begin 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 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

Typy argumentů

subclass den DayFn(kladné reálné číslo, subclass měsíc)

Axiomy (3)

Jestliže day je instancí třídy "number of month", potom number je menší než nebo roven .

(=>
      (instance
            ?DAY
            (DayFn ?NUMBER ?MONTH))
      (lessThanOrEqualTo ?NUMBER 31))

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

(=>
      (and
            (instance
                  ?DAY1
                  (DayFn ?NUMBER1 ?MONTH))
            (instance
                  ?DAY2
                  (DayFn ?NUMBER2 ?MONTH))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?DAY1 ?DAY2))

den je internally related to day fn.

(relatedInternalConcept Day DayFn)