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

earlier (earlier)

(earlier INTERVAL1 INTERVAL2) means that INTERVAL1 ends before INTERVAL2 begins.

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
  saamayika sambandha  
is instance of
sakarmaka sambandha
is instance of
anaatmavaachaka sambandha
is instance of

is instance of
  earlier  

Coordinate term(s)

back fn  begin fn  day fn  end fn  front fn  future fn  hour fn  immediate future fn  immediate past fn  minute fn  month fn  past fn  recurrent time interval fn  relative time fn  second fn  temporal composition fn  time interval fn  when fn  year fn  arc weight  attribute  authors  before  before or equal  causes  causes subclass  citizen  closed on  connected  connected engineering components  contains information  cooccur  copy  crosses  date  decreases likelihood  developmental form  disjoint  distributes  documentation  duration  during  editor  element  employs  equal  equivalence relation on  exploits  expressed in language  faces  family relation  finishes  frequency  graph part  greater than  greater than or equal to  has purpose  has skill  holds during  holds obligation  holds right  hole  identity element  in list  in scope of interest  increases likelihood  independent probability  inhabits  inhibits  initial list  instance  interior part  inverse  irreflexive on  larger  less than  less than or equal to  manner  material  measure  meets spatially  meets temporally  modal attribute  overlaps partially  overlaps temporally  parent  partial ordering on  partly located  path length  possesses  precondition  prevents  proper part  property  publishes  range  range subclass  refers  reflexive on  related internal concept  sibling  smaller  starts  sub attribute  sub collection  sub graph  sub list  sub organizations  sub plan  sub process  sub proposition  subclass  subrelation  subsumes content class  subsumes content instance  successor attribute  successor attribute closure  superficial part  temporal part  temporally between  temporally between or equal  time  total ordering on  trichotomizing on  uses  valence  version 

Type restrictions

earlier(samaya aMtaraala, samaya aMtaraala)

Related WordNet synsets

predate, precede, forego, antecede, antedate
be earlier in time; go back further
predate is opposite to...  
earlier, before
earlier in time; previously; "I had known her before"; "as I said before"; "he called me the day before but your call had come even earlier"; "her parents had died four years earlier"; "I mentioned that problem earlier"
See more related synsets on a separate page.

Axioms (9)

before is internally related to earlier.
(relatedInternalConcept before earlier)

interval1 happens earlier than interval2 agar hai "the end of interval1" happen?{s} before "the beginning of interval2".
(<=>
      (earlier ?INTERVAL1 ?INTERVAL2)
      (before
            (EndFn ?INTERVAL1)
            (BeginFn ?INTERVAL2)))

(=>
      (equal
            (TemporalCompositionFn ?INTERVAL ?INTERVAL-TYPE)
            ?CLASS)
      (forall
            (?TIME1 ?TIME2)
            (=>
                  (and
                        (instance ?TIME1 ?CLASS)
                        (instance ?TIME2 ?CLASS)
                        (not
                              (equal ?TIME1 ?TIME2)))
                  (or
                        (meetsTemporally ?TIME1 ?TIME2)
                        (meetsTemporally ?TIME2 ?TIME1)
                        (earlier ?TIME1 ?TIME2)
                        (earlier ?TIME2 ?TIME1)))))

Agar impact is an instance of takaraahata aur obj is a patient of impact, to yah kuch prerakataa impel nahin, ki obj is a patient of impel aur "the time of existence of impel" happens earlier than "the time of existence of impact".
(=>
      (and
            (instance ?IMPACT Impacting)
            (patient ?IMPACT ?OBJ))
      (exists
            (?IMPEL)
            (and
                  (instance ?IMPEL Impelling)
                  (patient ?IMPEL ?OBJ)
                  (earlier
                        (WhenFn ?IMPEL)
                        (WhenFn ?IMPACT)))))

Agar predict is an instance of purva kathana aur formula is a patient of predict, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of predict" yaa time happens earlier than "the time of existence of predict".
(=>
      (and
            (instance ?PREDICT Predicting)
            (patient ?PREDICT ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?PREDICT))
                        (earlier
                              ?TIME
                              (WhenFn ?PREDICT))))))

Agar remember is an instance of smaranana aur formula is a patient of remember, to yah kuch time nahin, ki formula holds during time aur time happen?{s} before "the time of existence of remember" yaa time happens earlier than "the time of existence of remember".
(=>
      (and
            (instance ?REMEMBER Remembering)
            (patient ?REMEMBER ?FORMULA))
      (exists
            (?TIME)
            (and
                  (holdsDuring ?TIME ?FORMULA)
                  (or
                        (before
                              ?TIME
                              (WhenFn ?REMEMBER))
                        (earlier
                              ?TIME
                              (WhenFn ?REMEMBER))))))

Agar keep is an instance of anurakshana aur keep agent kaa kaaran hai aur obj is a patient of keep, to yah kuch put nahin, ki put agent kaa kaaran hai aur obj is a patient of put aur "the time of existence of put" happens earlier than "the time of existence of keep".
(=>
      (and
            (instance ?KEEP Keeping)
            (agent ?KEEP ?AGENT)
            (patient ?KEEP ?OBJ))
      (exists
            (?PUT)
            (and
                  (instance ?PUT Putting)
                  (agent ?PUT ?AGENT)
                  (patient ?PUT ?OBJ)
                  (earlier
                        (WhenFn ?PUT)
                        (WhenFn ?KEEP)))))

Agar repair is an instance of marammata aur obj is a patient of repair, to yah kuch kshati damage nahin, ki obj is a patient of damage aur "the time of existence of damage" happens earlier than "the time of existence of repair".
(=>
      (and
            (instance ?REPAIR Repairing)
            (patient ?REPAIR ?OBJ))
      (exists
            (?DAMAGE)
            (and
                  (instance ?DAMAGE Damaging)
                  (patient ?DAMAGE ?OBJ)
                  (earlier
                        (WhenFn ?DAMAGE)
                        (WhenFn ?REPAIR)))))

Agar the developmental form of obj is attr1 during time1 aur attr2 is a successor attribute of attr1, to yah kuch time2 nahin, ki time2 happens earlier than time1 aur the developmental form of obj is attr2 during time2.
(=>
      (and
            (holdsDuring
                  ?TIME1
                  (developmentalForm ?OBJ ?ATTR1))
            (successorAttributeClosure ?ATTR2 ?ATTR1))
      (exists
            (?TIME2)
            (and
                  (earlier ?TIME2 ?TIME1)
                  (holdsDuring
                        ?TIME2
                        (developmentalForm ?OBJ ?ATTR2)))))