temporallyBetweenOrEqual |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage temporallyBetweenOrEqual "%2 %n 是在或等于 %1 和 %3 between") | chinese_format.kif 429-429 | |
(format EnglishLanguage temporallyBetweenOrEqual "%2 is %n between or at %1 and %3") | english_format.kif 435-435 | |
(format FrenchLanguage temporallyBetweenOrEqual "%2 est %n entre ou pendant %1 et %3") | french_format.kif 249-249 | |
(format ItalianLanguage temporallyBetweenOrEqual "%2 è %n tra o in %1 e %3") | relations-it.txt 295-295 | |
(format JapaneseLanguage temporallyBetweenOrEqual "%2 は %1 にも %3 にもその between にも %n") | japanese_format.kif 2043-2043 | |
(format PortugueseLanguage temporallyBetweenOrEqual "%2 e' %n entre ou durante %1 e %3") | portuguese_format.kif 201-201 | |
(format cz temporallyBetweenOrEqual "%2 %p{je} %n{nen�} between or at %1 and %3") | relations-cz.txt 254-254 | |
(format de temporallyBetweenOrEqual "%2 ist zwischen oder gleichzeitig mit %1 und %3") | relations-de.txt 559-559 | |
(format hi temporallyBetweenOrEqual "%2 %1 aura %3 ke saatha yaa biicha men %n hai") | relations-hindi.txt 331-331 | |
(format ro temporallyBetweenOrEqual "%2 %n{nu} este between%t{între} %1 ºi %3 sau la %1 sau %3") | relations-ro.kif 270-270 | |
(format sv temporallyBetweenOrEqual "%2 ligger %n{inte} mellan eller vid %1 och %3") | relations-sv.txt 272-272 | |
(format tg temporallyBetweenOrEqual "%2 %n ay sa pagitan ng o sa %1 at %3") | relations-tg.txt 487-487 | |
(subrelation temporallyBetween temporallyBetweenOrEqual) | Merge.kif 8196-8196 | temporallyBetween est une sous-relation de temporallyBetweenOrEqual |
(termFormat ChineseLanguage temporallyBetweenOrEqual "在两个时间之间或同时") | chinese_format.kif 430-430 | |
(termFormat ChineseLanguage temporallyBetweenOrEqual "暂时之间或等于") | domainEnglishFormat.kif 57448-57448 | |
(termFormat ChineseTraditionalLanguage temporallyBetweenOrEqual "暫時之間或等於") | domainEnglishFormat.kif 57447-57447 | |
(termFormat EnglishLanguage temporallyBetweenOrEqual "temporally between or equal") | domainEnglishFormat.kif 57446-57446 |
antecedent |
(=> (temporallyBetweenOrEqual (BeginFn (WhenFn ?PHYS)) ?TIME (EndFn (WhenFn ?PHYS))) (and (time ?PHYS ?TIME) (instance ?TIME TimePoint))) |
Merge.kif 8248-8257 |
|
(=> (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) (and (beforeOrEqual ?POINT1 ?POINT2) (beforeOrEqual ?POINT2 ?POINT3))) |
Merge.kif 8230-8234 |
|
consequent |