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

divasa (Day)

The Class of all calendar Days.

Ontology

SUMO / TEMPORAL-CONCEPTS

Superclass(es)

[tree]
astitva
is subclass of
  amUrta  
is subclass of
  parimaaNa  
is subclass of
  bhOtika parimaaNa  
is subclass of
  sthira parimaaNa  
is subclass of
  samaya maapa  
is subclass of
  samaya sthiti  
is subclass of
  samaya aMtaraala  
is subclass of
  divasa  

Subclass(es)

somavaara  mangalavaara  budhavaara  bQhaspativaara  shukravaara  shanivaara  ravivaara 

Coordinate term(s)

ghantaa  minata  mahInaa  sekanda  saptaaha  varsha 

Constrains relations

day fn  hour fn  date 

Related WordNet synsets

day
the recurring hours established by contract or usage for work; "it was a busy day on the stock exchange"
day is kind of (all)...   day is kind of...   kinds of day...   kinds of day (all)...  
day, twenty-four hours, solar day, mean solar day
time for Earth to make a complete rotation on its axis; "two days later they left"; "they put on two performances every day"; "there are 30,000 passangers per day"
day is kind of (all)...   day is kind of...   kinds of day...   kinds of day (all)...   parts of day...  
calendar day, civil day
a day reckoned from midnight to midnight
calendar day is kind of (all)...   calendar day is kind of...   kinds of calendar day...   kinds of calendar day (all)...   calendar day is part of...  
See more related synsets on a separate page.

Axioms (6)

divasa is internally related to day fn. 
(relatedInternalConcept Day DayFn)
divasa is internally related to day duration. 
(relatedInternalConcept Day DayDuration)
Agar day is an instance of divasa, to duration of day is " day duration(s)". 
(=>
      (instance ?DAY Day)
      (duration
            ?DAY
            (MeasureFn 1 DayDuration)))
Agar month is an instance of mahInaa aur duration of month is "number day duration(s)", to "the number of instances in "decomposition of month into ? divasas"" is equal to number. 
(=>
      (and
            (instance ?MONTH Month)
            (duration
                  ?MONTH
                  (MeasureFn ?NUMBER DayDuration)))
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?MONTH Day))
            ?NUMBER))
Agar week is an instance of saptaaha, to "the number of instances in "decomposition of week into ? divasas"" is equal to . 
(=>
      (instance ?WEEK Week)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?WEEK Day))
            7))
Agar day is an instance of divasa, to "the number of instances in "decomposition of day into ? ghantaas"" is equal to . 
(=>
      (instance ?DAY Day)
      (equal
            (CardinalityFn
                  (TemporalCompositionFn ?DAY Hour))
            24))