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 8178-8179 | |
(documentation beforeOrEqual JapaneseLanguage "(beforeOrEqual ?POINT1 ?POINT2) とは、 ?POINT1 が ?POINT2 と同一であるか、ユニバーサル タイムライン上で発生する前に発生することを意味 する。") | japanese_format.kif 1432-1434 | |
(domain beforeOrEqual 1 TimePoint) | Merge.kif 8175-8175 | The number 1 argument of before or equal is an instance of time point |
(domain beforeOrEqual 2 TimePoint) | Merge.kif 8176-8176 | The number 2 argument of before or equal is an instance of time point |
(instance beforeOrEqual BinaryPredicate) | Merge.kif 8172-8172 | before or equal is an instance of binary predicate |
(instance beforeOrEqual PartialOrderingRelation) | Merge.kif 8174-8174 | before or equal is an instance of partial ordering relation |
(instance beforeOrEqual TemporalRelation) | Merge.kif 8173-8173 | before or equal is an instance of temporal relation |
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%p{s} before or at %2") | english_format.kif 431-431 | |
(format FrenchLanguage beforeOrEqual "%1 %n{ne} se produit %n{pas} avant ou pendant %2") | french_format.kif 247-247 | |
(format ItalianLanguage beforeOrEqual "%1 %n{non} succede%{s} prima di o con %2") | relations-it.txt 33-33 | |
(format JapaneseLanguage beforeOrEqual "%1 は %2 でもその前でも happen%p{s} %n{ない}") | japanese_format.kif 2041-2041 | |
(format PortugueseLanguage beforeOrEqual "%1 %n{nao} ocorre %n antes ou durante %2") | portuguese_format.kif 199-199 | |
(format cz beforeOrEqual "%1 %n{doesn't} happen%{s} before or at %2") | relations-cz.txt 252-252 | |
(format de beforeOrEqual "%1 geschieht vor oder gleichzeitig mit %2 %n{nicht}") | relations-de.txt 553-553 | |
(format hi beforeOrEqual "%1 %2 ke saatha yaa pahale %n{nahiin} ghaTita hotaa hai") | relations-hindi.txt 77-77 | |
(format ro beforeOrEqual "%1 %n{nu} happen%t{se întâmplã} înainte de sau la %2") | relations-ro.kif 268-268 | |
(format sv beforeOrEqual "%1 inträffar %n{inte} före eller vid %2") | relations-sv.txt 269-269 | |
(format tg beforeOrEqual "%1 %n{hindi} nagaanap bago o sa panahon dati %2") | relations-cb.txt 67-67 | |
(subrelation before beforeOrEqual) | Merge.kif 8135-8135 | before is a subrelation of before or equal |
(termFormat ChineseLanguage beforeOrEqual "之前或同时") | chinese_format.kif 426-426 | |
(termFormat ChineseLanguage beforeOrEqual "之前或相等") | domainEnglishFormat.kif 10547-10547 | |
(termFormat ChineseTraditionalLanguage beforeOrEqual "之前或相等") | domainEnglishFormat.kif 10546-10546 | |
(termFormat EnglishLanguage beforeOrEqual "before or equal") | domainEnglishFormat.kif 10545-10545 | |
(termFormat tg beforeOrEqual "nagaanap bago o sa panahon dati") | relations-tg.txt 83-83 |
antecedent |
consequent |