TimeIntervalFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage TimeIntervalFn "%1 和 %2 间的时段") | chinese_format.kif 453-453 | |
(format EnglishLanguage TimeIntervalFn "interval between %1 and %2") | english_format.kif 459-459 | |
(format FrenchLanguage TimeIntervalFn "l'intervale entre %1 et %2") | french_format.kif 263-263 | |
(format ItalianLanguage TimeIntervalFn "intervallo tra %1 e %2") | relations-it.txt 300-300 | |
(format JapaneseLanguage TimeIntervalFn "%1 と %2 の interval") | japanese_format.kif 2053-2053 | |
(format PortugueseLanguage TimeIntervalFn "o intervalo entre %1 e %2") | portuguese_format.kif 215-215 | |
(format cz TimeIntervalFn "interval between %1 and %2") | relations-cz.txt 269-269 | |
(format de TimeIntervalFn "abstand zwischen %1 und %2") | relations-de.txt 592-592 | |
(format hi TimeIntervalFn "%1 aura %2 ke biicha antaraala") | relations-hindi.txt 336-336 | |
(format ro TimeIntervalFn "interval%t{interval} între %1 ºi %2") | relations-ro.kif 284-284 | |
(format sv TimeIntervalFn "intervallet mellan %1 och %2") | relations-sv.txt 289-289 | |
(format tg TimeIntervalFn "patlang sa pagitan ng %1 at %2") | relations-tg.txt 492-492 | |
(termFormat ChineseLanguage TimeIntervalFn "时段函数") | chinese_format.kif 454-454 | |
(termFormat ChineseLanguage TimeIntervalFn "时间间隔") | domainEnglishFormat.kif 58124-58124 | |
(termFormat ChineseTraditionalLanguage TimeIntervalFn "時間間隔") | domainEnglishFormat.kif 58123-58123 | |
(termFormat EnglishLanguage TimeIntervalFn "time interval") | domainEnglishFormat.kif 58122-58122 |
antecedent |
(=> (and (holdsDuring ?T1 (attribute ?F Menopausal)) (equal ?BEFORE (SubtractionFn (MeasureFn 1 YearDuration) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F))))) |
Mid-level-ontology.kif 23889-23903 |
|
(=> (and (instance ?POINT1 TimePoint) (instance ?POINT2 TimePoint) (instance ?INTERVAL TimeInterval) (equal (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL)) (and (equal (BeginFn ?INTERVAL) ?POINT1) (equal (EndFn ?INTERVAL) ?POINT2))) |
Merge.kif 8420-8428 |
|
(=> (and (instance ?POINT1 TimePoint) (instance ?POINT2 TimePoint) (instance ?INTERVAL TimeInterval) (equal (TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL)) (forall (?POINT) (<=> (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2) (temporalPart ?POINT ?INTERVAL)))) |
Merge.kif 8430-8439 |
|
(=> (and (instance ?T1 TimePoint) (instance ?T2 TimePoint) (equal ?INTERVAL (TimeIntervalFn ?T1 ?T2)) (duration ?INTERVAL ?PERIOD)) (equal ?INTERVAL (TimePeriodFn ?T1 ?PERIOD))) |
Mid-level-ontology.kif 14040-14046 |
|
consequent |