| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners