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

date (date)

A BinaryPredicate that specifies a TimePosition in absolute calendar time, at the resolution of one day, for a particular Object or Process.

Ontology

SUMO / TEMPORAL-CONCEPTS

Class(es)

varga
is instance of
  inheritable relation  
is instance of
  dvi-lakshana  
is instance of
varga
is instance of
  inheritable relation  
is instance of
  eka mUlyaadeya sambandha  
is instance of
asaamanjasyapUrNa sambandha
is instance of
is instance of
  date  

Superrelation(s)

time
is subrelation of
  date  

Coordinate term(s)

back fn  cardinality fn  front fn  principal host fn  probability fn  skin fn  age  altitude  arc weight  attribute  authors  before or equal  causes  causes subclass  citizen  closed on  completely fills  connected  contains information  cooccur  copy  crosses  decreases likelihood  depth  developmental form  disjoint  distance  distributes  documentation  duration  earlier  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  father  fills  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  immediate instance  immediate subclass  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  inverse  irreflexive on  larger  less than  less than or equal to  manner  material  measure  meets temporally  member  modal attribute  monetary value  mother  overlaps temporally  parent  partial ordering on  partially fills  partly located  path length  penetrates  possesses  precondition  prevents  proper part  properly fills  property  publishes  range  range subclass  realization  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  surface  temporal part  time  total ordering on  trichotomizing on  unique identifier  uses  valence  version  width 

Type restrictions

date(bhOtika vaswu, divasa)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Agar "edition int1 of text" is equal to edition1 aur "edition int2 of text" is equal to edition2 aur int2 is greater than int1 aur pub1 is an instance of prakaashana aur pub2 is an instance of prakaashana aur edition1 is a patient of pub1 aur edition2 is a patient of pub2 aur date of pub1 is date1 aur date of pub2 is date2, to "the end of date1" happen?{s} before "the end of date2". 
(=>
      (and
            (equal
                  (EditionFn ?TEXT ?INT1)
                  ?EDITION1)
            (equal
                  (EditionFn ?TEXT ?INT2)
                  ?EDITION2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?EDITION1)
            (patient ?PUB2 ?EDITION2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))
Agar text is a subclass of saavadhika aur "volume int1 in the series text" is equal to volume1 aur "volume int2 in the series text" is equal to volume2 aur int2 is greater than int1 aur pub1 is an instance of prakaashana aur pub2 is an instance of prakaashana aur volume1 is a patient of pub1 aur volume2 is a patient of pub2 aur date of pub1 is date1 aur date of pub2 is date2, to "the end of date1" happen?{s} before "the end of date2". 
(=>
      (and
            (subclass ?TEXT Periodical)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT1)
                  ?VOLUME1)
            (equal
                  (SeriesVolumeFn ?TEXT ?INT2)
                  ?VOLUME2)
            (greaterThan ?INT2 ?INT1)
            (instance ?PUB1 Publication)
            (instance ?PUB2 Publication)
            (patient ?PUB1 ?VOLUME1)
            (patient ?PUB2 ?VOLUME2)
            (date ?PUB1 ?DATE1)
            (date ?PUB2 ?DATE2))
      (before
            (EndFn ?DATE1)
            (EndFn ?DATE2)))