earlier |
appearance as argument number 1 |
![]() |
(documentation earlier ChineseLanguage "(earlier ?INTERVAL1 ?INTERVAL2)的意思是 TimeInterval ?INTERVAL1 在 TimeInterval ?INTERVAL2 开始前结束。") | chinese_format.kif 2724-2725 | |
(documentation earlier EnglishLanguage "(earlier ?INTERVAL1 ?INTERVAL2) means that the TimeInterval ?INTERVAL1 ends before the TimeInterval ?INTERVAL2 begins.") | Merge.kif 8472-8474 | |
(documentation earlier JapaneseLanguage "(earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。") | japanese_format.kif 1449-1450 | |
(domain earlier 1 TimeInterval) | Merge.kif 8469-8469 | |
(domain earlier 2 TimeInterval) | Merge.kif 8470-8470 | |
(instance earlier BinaryPredicate) | Merge.kif 8464-8464 | |
(instance earlier IrreflexiveRelation) | Merge.kif 8467-8467 | |
(instance earlier TemporalRelation) | Merge.kif 8465-8465 | |
(instance earlier TotalValuedRelation) | Merge.kif 8468-8468 | |
(instance earlier TransitiveRelation) | Merge.kif 8466-8466 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage earlier "%1 %n{doesn't} 比%2发生的earlier") | chinese_format.kif 437-437 | |
(format EnglishLanguage earlier "%1 %n{doesn't} happen%p{s} earlier than %2") | english_format.kif 443-443 | |
(format FrenchLanguage earlier "%1 %n{n'} arrive %n{pas} plus t�t que %2") | french_format.kif 253-253 | |
(format ItalianLanguage earlier "%1 %n{non} accade%p{s} prima di %2") | relations-it.txt 87-87 | |
(format JapaneseLanguage earlier "%1 は %2 より earlier happen%p{s} %n{ない}") | japanese_format.kif 2047-2047 | |
(format PortugueseLanguage earlier "%1 %n{nao} acontence %n antes de %2") | portuguese_format.kif 205-205 | |
(format cz earlier "%1 %n{doesn't} happen%p{s} earlier than %2") | relations-cz.txt 259-259 | |
(format de earlier "%1 geschieht frueh als %2 %n{nicht}") | relations-de.txt 571-571 | |
(format hi earlier "%1 %2 ke puurva ghaTita %n{nahiin} hotaa hai") | relations-hindi.txt 127-127 | |
(format ro earlier "%1 %n{nu} se întâmplã earlier%t{mai devreme} decât %2") | relations-ro.kif 274-274 | |
(format sv earlier "%1 sker %n{inte} tidigare än %2") | relations-sv.txt 277-277 | |
(format tg earlier "%1 %n{hindi} ay kanina sa %2") | relations-tg.txt 189-189 | |
(relatedInternalConcept before earlier) | Merge.kif 8198-8198 | |
(termFormat ChineseLanguage earlier "早期") | domainEnglishFormat.kif 20799-20799 | |
(termFormat ChineseLanguage earlier "更早") | chinese_format.kif 438-438 | |
(termFormat ChineseTraditionalLanguage earlier "早期") | domainEnglishFormat.kif 20798-20798 | |
(termFormat EnglishLanguage earlier "earlier") | domainEnglishFormat.kif 20797-20797 | |
(termFormat de earlier "frueh") | terms-de.txt 176-176 | |
(termFormat tg earlier "kanina") | relations-tg.txt 190-190 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (attribute ?AC TwoFactorAuthentication) (loggedInDuring ?A ?AC ?T)) (exists (?TF) (and (instance ?TF TwoFactorLoggingIn) (agent ?TF ?A) (accountUsed ?TF ?AC) (earlier (WhenFn ?TF) ?T)))) |
ComputingBrands.kif 4368-4377 | |
(=> (and (commemoratesDate ?HOLIDAY (DayFn ?DAY (MonthFn ?MONTH (YearFn ?YEAR)))) (instance ?DATE ?HOLIDAY) (instance ?ANYO (YearFn ?YEAR))) (not (earlier ?DATE ?ANYO))) |
Government.kif 576-581 | |
(=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (earlier (WhenFn ?BUYING) ?INT))))) |
UXExperimentalTerms.kif 3545-3555 | |
(=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (earlier (WhenFn ?SELLING) ?INT))))) |
UXExperimentalTerms.kif 3593-3603 | |
(=> (and (holdsDuring ?T (attribute ?H ChronicFatigueSyndrome)) (instance ?R RecreationOrExercise) (agent ?R ?H) (during (WhenFn ?R) ?T)) (modalAttribute (and (holdsDuring ?T2 (attribute ?H PostExertionalMalaise)) (earlier (WhenFn ?R) ?T2)) Likely)) |
Medicine.kif 1492-1504 | |
(=> (and (holdsDuring ?T1 (and (attribute ?PERSON DislocatedCivilian) (inhabits ?PERSON ?RESIDENCE) (located ?RESIDENCE ?PLACE))) (instance ?PLACE GeographicArea) (instance ?T1 TimeInterval)) (exists (?T0 ?PRIOR_PLACE ?PRIOR_RES) (and (instance ?T0 TimeInterval) (earlier ?T0 ?T1) (instance ?PRIOR_RES Object) (instance ?PRIOR_PLACE GeopoliticalArea) (located ?PRIOR_RES ?PRIOR_PLACE) (not (equal ?PLACE ?PRIOR_PLACE)) (not (equal ?RESIDENCE ?PRIOR_RES)) (not (geographicSubregion ?PLACE ?PRIOR_PLACE)) (not (geographicSubregion ?PRIOR_PLACE ?PLACE)) (holdsDuring ?T0 (inhabits ?PERSON ?PRIOR_RES))))) |
MilitaryPersons.kif 26-47 | |
(=> (and (holdsDuring ?T1 (attribute ?P Evacuee)) (instance ?T1 TimeInterval)) (exists (?EV ?MIL) (and (instance ?EV Evacuation) (agent ?EV ?MIL) (instance ?MIL MilitaryOrganization) (experiencer ?EV ?P) (earlier (WhenFn ?EV) ?T1)))) |
MilitaryPersons.kif 120-131 | |
(=> (and (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)) (instance ?T1 TimeInterval)) (exists (?SITUATION ?T0) (and (earlier ?T0 ?T1) (causesProposition (holdsDuring ?T0 (fears ?P ?SITUATION)) (holdsDuring ?T1 (attribute ?P InternallyDisplacedPerson)))))) |
MilitaryPersons.kif 101-111 | |
(=> (and (holdsDuring ?T1 (spouse ?P1 ?P2)) (instance ?T1 TimeInterval)) (exists (?WED) (and (instance ?WED Wedding) (patient ?WED ?P1) (patient ?WED ?P2) (earlier (WhenFn ?WED) ?T1)))) |
Mid-level-ontology.kif 9139-9149 | |
(=> (and (holdsDuring ?TIME1 (developmentalForm ?OBJ ?ATTR1)) (successorAttributeClosure ?ATTR2 ?ATTR1)) (exists (?TIME2) (and (earlier ?TIME2 ?TIME1) (holdsDuring ?TIME2 (developmentalForm ?OBJ ?ATTR2))))) |
Merge.kif 14475-14482 | |
(=> (and (instance ?B Bequeathing) (agent ?B ?P) (destination ?B ?H) (objectTransferred ?B ?PROP)) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (earlier (WhenFn ?D) (WhenFn ?B)) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (possesses ?P ?PROP)) (confersNorm ?P (possesses ?H ?PROP) Permission)))) |
Mid-level-ontology.kif 20250-20266 | |
(=> (and (instance ?B Birth) (origin ?B ?F)) (exists (?Z ?T) (and (instance ?Z Zygote) (earlier ?T (WhenFn ?B)) (holdsDuring ?T (located ?Z ?F))))) |
Mid-level-ontology.kif 25667-25676 | |
(=> (and (instance ?B Bleeding) (experiencer ?B ?H)) (exists (?VA ?D) (and (or (instance ?VA Vein) (instance ?VA Artery)) (part ?VA ?H) (instance ?D Damaging) (earlier (WhenFn ?D) (WhenFn ?B)) (patient ?D ?VA)))) |
Medicine.kif 80-94 | |
(=> (and (instance ?BB Bodybuilding) (agent ?BB ?H)) (exists (?W) (and (instance ?W Weightlifting) (agent ?W ?H) (earlier (WhenFn ?W) (WhenFn ?BB))))) |
Sports.kif 790-800 | |
(=> (and (instance ?BI BreakthroughInfection) (objectTransferred ?BI ?V) (instance ?V ?VC) (experiencer ?BI ?H)) (exists (?VAX) (and (instance ?VAX Vaccination) (experiencer ?VAX ?H) (vaccine ?VACCINECLASS ?VC) (instance ?VACCINE ?VACCINECLASS) (objectTransferred ?VAX ?VACCINE) (earlier (WhenFn ?VAX) (WhenFn ?BI))))) |
Medicine.kif 3180-3195 | |
(=> (and (instance ?C ComputerBackingUp) (dataProcessed ?C ?DD) (instance ?DD DigitalData) (agent ?C ?A)) (desires ?A (exists (?T) (and (earlier (WhenFn ?C) ?T) (holdsDuring (?T) (exists (?PROC) (and (instance ?PROC ComputerProcess) (capability ?PROC dataProcessed ?DD)))))))) |
ComputingBrands.kif 3492-3506 | |
(=> (and (instance ?C Confirming) (agent ?C ?A) (containsInformation ?C ?P)) (exists (?S ?RA ?A2) (and (instance ?S Stating) (earlier ?S ?C) (instance ?RA ReachingAgreement) (agent ?S ?A2) (containsInformation ?RA ?P) (containsInformation ?S ?P) (partyToAgreement ?RA ?A) (partyToAgreement ?RA ?A2)))) |
Mid-level-ontology.kif 31560-31574 | |
(=> (and (instance ?D Decreasing) (patient ?D ?OBJ)) (exists (?N1 ?N2 ?T1 ?T2 ?U) (and (earlier ?T1 ?T2) (holdsDuring ?T1 (measure ?OBJ (MeasureFn ?N1 ?U))) (holdsDuring ?T2 (measure ?OBJ (MeasureFn ?N2 ?U))) (lessThan ?N1 ?N2)))) |
Merge.kif 11064-11077 | |
(=> (and (instance ?D Increasing) (patient ?D ?OBJ)) (exists (?N1 ?N2 ?T1 ?T2 ?U) (and (earlier ?T1 ?T2) (holdsDuring ?T1 (measure ?OBJ (MeasureFn ?N1 ?U))) (holdsDuring ?T2 (measure ?OBJ (MeasureFn ?N2 ?U))) (greaterThan ?N1 ?N2)))) |
Merge.kif 11022-11035 | |
(=> (and (instance ?D QuantityChange) (patient ?D ?OBJ)) (exists (?N1 ?N2 ?T1 ?T2 ?U) (and (earlier ?T1 ?T2) (holdsDuring ?T1 (measure ?OBJ (MeasureFn ?N1 ?U))) (holdsDuring ?T2 (measure ?OBJ (MeasureFn ?N2 ?U))) (not (equal ?N1 ?N2))))) |
Merge.kif 11001-11014 | |
(=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (greaterThan ?N2 ?N1)) (earlier ?D1 ?D2)) |
Merge.kif 8829-8834 | |
(=> (and (instance ?DISMANTLE DismantlingWeaponOfMassDestruction) (patient ?DISMANTLE ?WEAPON)) (exists (?DEVELOP) (and (instance ?DEVELOP DevelopingWeaponOfMassDestruction) (result ?DEVELOP ?WEAPON) (earlier (WhenFn ?DEVELOP) (WhenFn ?DISMANTLE))))) |
WMD.kif 750-758 | |
(=> (and (instance ?E Matriculation) (agent ?E ?C) (patient ?E ?P) (instance ?C College)) (exists (?G ?S) (and (instance ?G Graduation) (agent ?G ?S) (patient ?G ?P) (instance ?S SecondarySchool) (earlier (WhenFn ?G) (WhenFn ?E))))) |
Mid-level-ontology.kif 18077-18089 | |
(=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER))))) |
Mid-level-ontology.kif 18058-18070 | |
(=> (and (instance ?H Man) (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?DAY) (earlier (WhenFn ?D) ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (earlier (WhenFn ?WU) (WhenFn ?SUHUR)) (during (WhenFn ?WU) ?DAY) (during (WhenFn ?SUHUR) ?DAY))))) |
ArabicCulture.kif 65-84 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
![]() |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 19773-19790 |
![]() |
![]() |