before |
appearance as argument number 1 |
![]() |
(documentation before ChineseLanguage "(before ?POINT1 ?POINT2)的意思是 ?POINT1 在通用时 间轴上比 ?POINT2 先开始。") | chinese_format.kif 2707-2708 | |
(documentation before EnglishLanguage "(before ?POINT1 ?POINT2) means that ?POINT1 precedes ?POINT2 on the universal timeline.") | Merge.kif 8217-8218 | |
(documentation before JapaneseLanguage "(before ?POINT1 ?POINT2) とは、?POINT1が、ユニ バーサルタイムラインで ?POINT2に先行する、という意味である。") | japanese_format.kif 1430-1431 | |
(domain before 1 TimePoint) | Merge.kif 8214-8214 | before の数値 1 引数は 時点 の instance では |
(domain before 2 TimePoint) | Merge.kif 8215-8215 | before の数値 2 引数は 時点 の instance では |
(instance before IrreflexiveRelation) | Merge.kif 8210-8210 | before は 非反射関係 の instance では |
(instance before TemporalRelation) | Merge.kif 8209-8209 | before は 時間関係 の instance では |
(instance before TransitiveRelation) | Merge.kif 8211-8211 | before は 推移関係 の instance では |
(relatedInternalConcept before earlier) | Merge.kif 8213-8213 | before は earlier に internally 関連して |
(subrelation before beforeOrEqual) | Merge.kif 8212-8212 | before は beforeOrEqual の subrelation では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage before "%1%n在%2before发生") | chinese_format.kif 423-423 | |
(format EnglishLanguage before "%1 %n{doesn't} happen%p{s} before %2") | english_format.kif 429-429 | |
(format FrenchLanguage before "%1 %n{ne} se produit %n{pas} avant %2") | french_format.kif 246-246 | |
(format ItalianLanguage before "%1 %n{non} succede%{s} prima di %2") | relations-it.txt 32-32 | |
(format JapaneseLanguage before "%1 は %2 の before に happen%p{s} %n{ない}") | japanese_format.kif 2040-2040 | |
(format PortugueseLanguage before "%1 %n{nao} comeca %n antes de %2") | portuguese_format.kif 198-198 | |
(format cb before "%1 %n{dili} nahimo una sa %2") | relations-cb.txt 66-66 | |
(format cz before "%1 %n{doesn't} happen%p{s} before %2'") | relations-cz.txt 251-251 | |
(format de before "%1 geschieht vor %2 %n{nicht}") | relations-de.txt 550-550 | |
(format hi before "%1 %2 ke pahale %n{nahiin} ghaTita hotaa hai") | relations-hindi.txt 76-76 | |
(format ro before "%1 %n{nu} happen%t{se întâmplã} before%t{înainte de} %2") | relations-ro.kif 267-267 | |
(format sv before "%1 inträffar %n{inte} före %2") | relations-sv.txt 267-267 | |
(format tg before "%1 %n{hindi} nagaanap bago sa %2") | relations-tg.txt 80-80 | |
(termFormat ChineseLanguage before "之前") | chinese_format.kif 424-424 | |
(termFormat ChineseTraditionalLanguage before "之前") | domainEnglishFormat.kif 10541-10541 | |
(termFormat EnglishLanguage before "before") | domainEnglishFormat.kif 10540-10540 | |
(termFormat de before "vor") | terms-de.txt 169-169 | |
(termFormat tg before "nagaanap bago") | relations-tg.txt 81-81 |
antecedent |
![]() |
consequent |
![]() |
(=> (albumRelease ?A ?T) (and (exists (?R1 ?DS1) (releaseForSale (AlbumCopiesFn ?A ?DS1) ?R1 ?T)) (not (exists (?B ?R2 ?DS2) (and (before ?B ?T) (releaseForSale (AlbumCopiesFn ?A ?DS2) ?R2 ?B)))))) |
Music.kif 261-270 |
|
(=> (and (allergic ?H ?S) (instance ?SUB ?S) (holdsDuring ?T (meetsSpatially ?SUB ?H))) (modalAttribute (exists (?AR) (and (instance ?AR AllergicReaction) (experiencer ?AR ?H) (overlapsTemporally ?T (WhenFn ?AR)) (before (BeginFn ?T) (BeginFn (WhenFn ?AR))))) Likely)) |
Mid-level-ontology.kif 7168-7181 |
|
(=> (and (attribute ?MR CoverRecording) (instance ?MR MusicRecording) (songArtist ?MR ?A) (musicInterpretation ?MR ?M) (record ?MR ?MM)) (exists (?ORIG ?ARTIST ?MUSIC) (and (musicInterpretation ?ORIG ?M) (songArtist ?ORIG ?ARTIST) (not (equal ?A ?ARTIST)) (record ?ORIG ?MUSIC) (before (WhenFn ?MUSIC) (WhenFn ?MM))))) |
Music.kif 459-472 |
|
(=> (and (checkOutTime ?HOTEL ?TIME) (guest ?GUEST ?HOTEL)) (expects ?HOTEL (exists (?T ?C) (and (instance ?T ?TIME) (patient ?C ?GUEST) (instance ?C CheckOutService) (agent ?C ?HOTEL) (before (BeginFn (WhenFn ?C)) ?T))))) |
Hotel.kif 688-699 | |
(=> (and (destination ?MSG ?TELEX) (instance ?MSG Messaging) (patient ?MSG ?M) (instance ?TELEX Telex)) (exists (?PROC ?TEXT) (and (instrument ?PROC ?TELEX) (result ?PROC ?TEXT) (represents ?TEXT ?M) (instance ?TEXT Text) (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC)))))) |
Communications.kif 202-214 |
|
(=> (and (earlier ?TI1 ?TI2) (instance ?P1 TimePoint) (instance ?P2 TimePoint) (temporalPart ?P1 ?TI1) (temporalPart ?P2 ?TI2)) (before ?P1 ?P2)) |
Merge.kif 8394-8401 | |
(=> (and (equal (EditionFn ?TEXT ?INT1) ?EDITION1) (equal (EditionFn ?TEXT ?INT2) ?EDITION2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?EDITION1) (instance ?CBO2 ?EDITION2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2))) |
Merge.kif 15665-15682 |
|
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 24561-24566 | |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 31514-31523 | |
(=> (and (instance ?D1 (DayFn ?N1 (MonthFn ?M (YearFn ?Y)))) (instance ?D2 (DayFn ?N2 (MonthFn ?M (YearFn ?Y)))) (equal ?T1 (BeginFn ?D1)) (equal ?T2 (BeginFn ?D2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2)) |
Merge.kif 8835-8842 | |
(=> (and (instance ?Loan InterestOnlyLoan) (agreementPeriod ?Loan ?Period) (principalAmount ?Loan ?Principal) (interestEarned ?Loan ?Interest ?Period)) (and (amountDue ?Loan ?Principal (EndFn ?Period)) (amountDue ?Loan ?Interest ?Date) (before (EndFn ?Date) (EndFn ?Period)))) |
FinancialOntology.kif 1631-1640 |
|
(=> (and (instance ?M1 (MonthFn ?N1 (YearFn ?Y))) (instance ?M2 (MonthFn ?N2 (YearFn ?Y))) (equal ?T1 (BeginFn ?M1)) (equal ?T2 (BeginFn ?M2)) (successorClass ?N1 ?N2)) (before ?T1 ?T2)) |
Merge.kif 8819-8826 | |
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (before NegativeInfinity ?POINT)) |
Merge.kif 7972-7976 |
|
(=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (before ?POINT PositiveInfinity)) |
Merge.kif 7954-7958 |
|
(=> (and (instance ?REMEMBER Remembering) (patient ?REMEMBER ?FORMULA)) (exists (?TIME) (and (holdsDuring ?TIME ?FORMULA) (or (before ?TIME (WhenFn ?REMEMBER)) (earlier ?TIME (WhenFn ?REMEMBER)))))) |
Merge.kif 12313-12322 | |
(=> (and (instance ?S Shooting) (instrument ?S ?G) (instance ?G Gun)) (exists (?C ?I ?B) (and (instance ?C GunChamber) (part ?C ?G) (instance ?I Inserting) (instance ?B BulletCartridge) (destination ?I ?C) (objectTransferred ?I ?B) (before (EndFn (WhenFn ?I)) (BeginFn (WhenFn ?S)))))) |
Mid-level-ontology.kif 1337-1352 |
|
(=> (and (instance ?SHOCK Aftershock) (eventLocated ?SHOCK ?PLACE)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (eventLocated ?TREMOR ?PLACE) (before (WhenFn ?TREMOR) (WhenFn ?SHOCK))))) |
Geography.kif 2486-2496 |
|
(=> (and (instance ?TI TimeInterval) (equal ?S (BeginFn ?TI)) (equal ?E (EndFn ?TI))) (before ?S ?E)) |
Merge.kif 8375-8380 | |
(=> (and (instance ?X Buffet) (member ?ITEM ?X) (located ?X ?LOC1) (instance ?E Eating) (agent ?E ?AGENT) (eventLocated ?E ?LOC2) (patient ?E ?ITEM)) (and (not (equal ?LOC1 ?LOC2)) (exists (?G) (and (instance ?G Getting) (patient ?G ?ITEM) (origin ?G ?LOC1) (agent ?G ?AGENT) (before (WhenFn ?G) (WhenFn ?E)))))) |
Dining.kif 274-291 |
|
(=> (and (instance ?X SurveillanceSystem) (member ?X ?VIDEO) (member ?X ?DISPLAY) (located ?VIDEO ?LOC1) (instance ?VIDEO Camera) (located ?DISPLAY ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?DISPLAY VideoDisplay)) (hasPurpose ?X (exists (?PROC ?VID ?RL ?CAPTURE) (and (instance ?PROC Process) (eventLocated ?PROC ?LOC1) (represents ?VID ?PROC) (instrument ?CAPTURE Camera) (result ?CAPTURE ?VID) (instance ?RL RadiatingLight) (instrument ?RL ?DISPLAY) (patient ?RL ?VID) (before (BeginFn ?PROC) (BeginFn ?CAPTURE)) (before (BeginFn ?CAPTURE) (BeginFn ?RL)))))) |
Mid-level-ontology.kif 28872-28898 |
|
(=> (and (instance ?Y1 (YearFn ?N1)) (instance ?Y2 (YearFn ?N2)) (equal ?T1 (BeginFn ?Y1)) (equal ?T2 (BeginFn ?Y2)) (greaterThan ?N2 ?N1)) (before ?T1 ?T2)) |
Merge.kif 8803-8810 | |
(=> (and (property ?Option AmericanStyleOption) (optionHolder ?Option ?Agent) (agreementExpirationDate ?Option ?Day)) (holdsRight (exists (?Exercise) (and (instance ?Exercise ExerciseAnOption) (patient ?Exercise ?Option) (before (EndFn (WhenFn ?Exercise)) (EndFn ?Day)))) ?Agent)) |
FinancialOntology.kif 2805-2817 | |
(=> (and (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2))) |
Mid-level-ontology.kif 15995-16009 |
|
(=> (beforeOrEqual ?POINT1 ?POINT2) (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2))) |
Merge.kif 8258-8262 | |
(=> (burnInPeriod ?EXP ?INTERVAL) (before (EndFn ?INTERVAL) (EndFn (WhenFn ?EXP)))) |
UXExperimentalTerms.kif 4317-4321 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |