earlier (earlier)
(earlier INTERVAL1 INTERVAL2) means that
INTERVAL1 ends before INTERVAL2 begins.
Ontology
SUMO / TEMPORAL-CONCEPTSClass(es)
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
- 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)))
- agar "decomposition of interval into ? interval-types" is equal to class,
- to sab-kuch time1,time2 ke lie hai, ki: agar time1 is an instance of class aur time2 is an instance of class aur time1 is not equal to time2, to time1 meets time2 yaa time2 meets time1 yaa time1 happens earlier than time2 yaa time2 happens earlier than time1
.
(=>
(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)))))