beforeOrEqual |
appearance as argument number 1 |
![]() |
(documentation beforeOrEqual ChineseLanguage "(beforeOrEqual ?POINT1 ?POINT2) 的意思是 ?POINT1 在通用时间轴上和 ?POINT2 是一致或比它先开始。") | chinese_format.kif 2709-2710 | |
(documentation beforeOrEqual EnglishLanguage "(beforeOrEqual ?POINT1 ?POINT2) means that ?POINT1 is identical with ?POINT2 or occurs before it on the universal timeline.") | Merge.kif 8046-8047 | |
(domain beforeOrEqual 1 TimePoint) | Merge.kif 8043-8043 | |
(domain beforeOrEqual 2 TimePoint) | Merge.kif 8044-8044 | |
(instance beforeOrEqual BinaryPredicate) | Merge.kif 8040-8040 | |
(instance beforeOrEqual PartialOrderingRelation) | Merge.kif 8042-8042 | |
(instance beforeOrEqual TemporalRelation) | Merge.kif 8041-8041 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage beforeOrEqual "%1%n{doesn't}在%2 之前或同时发生") | chinese_format.kif 425-425 | |
(format EnglishLanguage beforeOrEqual "%1 %n{doesn't} happen%{s} before or at %2") | english_format.kif 431-431 | |
(subrelation before beforeOrEqual) | Merge.kif 8003-8003 | |
(termFormat ChineseLanguage beforeOrEqual "之前或同时") | chinese_format.kif 426-426 | |
(termFormat ChineseLanguage beforeOrEqual "之前或相等") | domainEnglishFormat.kif 10556-10556 | |
(termFormat ChineseTraditionalLanguage beforeOrEqual "之前或相等") | domainEnglishFormat.kif 10555-10555 | |
(termFormat EnglishLanguage beforeOrEqual "before or equal") | domainEnglishFormat.kif 10554-10554 |
antecedent |
![]() |
(=> (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3)) (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)) |
Merge.kif 8104-8108 | |
(=> (and (instance ?TI1 TimeInterval) (instance ?TI2 TimeInterval) (beforeOrEqual (BeginFn ?TI2) (BeginFn ?TI1)) (before (BeginFn ?TI1) (EndFn ?TI2))) (overlapsTemporally ?TI2 ?TI1)) |
Merge.kif 8171-8181 | |
(=> (beforeOrEqual ?POINT1 ?POINT2) (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2))) |
Merge.kif 8049-8053 |
consequent |
![]() |
(=> (and (firstInstanceCreated ?C ?T) (instance ?I ?C)) (beforeOrEqual ?T (BeginFn (WhenFn ?I)))) |
Mid-level-ontology.kif 30070-30076 | |
(=> (and (holdsDuring ?T2 ?SIT2) (holdsDuring ?T1 ?SIT1) (instance ?T1 TimeInterval) (instance ?T2 TimeInterval) (causesProposition ?SIT1 ?SIT2)) (beforeOrEqual (BeginFn ?T1) (BeginFn ?T2))) |
Merge.kif 3755-3762 | |
(=> (instance ?OBJ Object) (exists (?TIME1 ?TIME2) (and (instance ?TIME1 TimePoint) (instance ?TIME2 TimePoint) (before ?TIME1 ?TIME2) (forall (?TIME) (=> (and (beforeOrEqual ?TIME1 ?TIME) (beforeOrEqual ?TIME ?TIME2)) (time ?OBJ ?TIME)))))) |
Merge.kif 8014-8026 | |
(=> (or (before ?POINT1 ?POINT2) (equal ?POINT1 ?POINT2)) (beforeOrEqual ?POINT1 ?POINT2)) |
Merge.kif 8055-8059 | |
(=> (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3))) |
Merge.kif 8098-8102 |
![]() |
![]() |