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

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.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  saamayika sambandha  
is instance of
varga
is instance of
  inheritable relation  
is instance of
  dvi-aadhaary prakaarya  
is instance of
is instance of
  day fn  

Coordinate term(s)

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 

Type restrictions

subclass divasa DayFn(dhanaatmaka vaastavika anka, subclass mahInaa)

Axioms (3)

Agar day is an instance of "the day number", to number is less than or equal to . 
(=>
      (instance
            ?DAY
            (DayFn ?NUMBER ?MONTH))
      (lessThanOrEqualTo ?NUMBER 31))
Agar day1 is an instance of "the day number1" aur day2 is an instance of "the day number2" aur "(number2-number1)" is equal to , to day1 meets day2. 
(=>
      (and
            (instance
                  ?DAY1
                  (DayFn ?NUMBER1 ?MONTH))
            (instance
                  ?DAY2
                  (DayFn ?NUMBER2 ?MONTH))
            (equal
                  (SubtractionFn ?NUMBER2 ?NUMBER1)
                  1))
      (meetsTemporally ?DAY1 ?DAY2))
divasa is internally related to day fn. 
(relatedInternalConcept Day DayFn)