TimeIntervalFn |
appearance as argument number 1 |
![]() |
(documentation TimeIntervalFn ChineseLanguage "这是一个 BinaryFunction,它接受两个 TimePoint 参数,然后得出由这两个 TimePoint 所界定的 TimeInterval。注:第一个 TimePoint 必须要比第二个 TimePoint 先开始。") | chinese_format.kif 2729-2731 | |
(documentation TimeIntervalFn EnglishLanguage "A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints.Note that the first TimePoint must occur earlier than the second TimePoint.") | Merge.kif 7900-7903 | |
(domain TimeIntervalFn 1 TimePoint) | Merge.kif 7896-7896 | |
(domain TimeIntervalFn 2 TimePoint) | Merge.kif 7897-7897 | |
(instance TimeIntervalFn BinaryFunction) | Merge.kif 7893-7893 | |
(instance TimeIntervalFn PartialValuedRelation) | Merge.kif 7895-7895 | |
(instance TimeIntervalFn TemporalRelation) | Merge.kif 7894-7894 | |
(range TimeIntervalFn TimeInterval) | Merge.kif 7898-7898 |
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 462-462 | |
(termFormat ChineseLanguage TimeIntervalFn "时段函数") | chinese_format.kif 454-454 | |
(termFormat ChineseLanguage TimeIntervalFn "时间间隔") | domainEnglishFormat.kif 58102-58102 | |
(termFormat ChineseTraditionalLanguage TimeIntervalFn "時間間隔") | domainEnglishFormat.kif 58101-58101 | |
(termFormat EnglishLanguage TimeIntervalFn "time interval") | domainEnglishFormat.kif 58100-58100 |
antecedent |
![]() |
(=> (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 7905-7913 | |
(=> (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 7915-7924 | |
(=> (and (instance ?T1 TimePoint) (instance ?T2 TimePoint) (equal ?INTERVAL (TimeIntervalFn ?T1 ?T2)) (duration ?INTERVAL ?PERIOD)) (equal ?INTERVAL (TimePeriodFn ?T1 ?PERIOD))) |
Mid-level-ontology.kif 11676-11682 |
consequent |
![]() |
(=> (and (birthdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn -6)) (instance ?Y2 (YearFn 4))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1938-1943 | |
(=> (and (deathdate JesusOfNazareth ?DAY) (instance ?Y1 (YearFn 29)) (instance ?Y2 (YearFn 36))) (temporalPart ?DAY (TimeIntervalFn (BeginFn ?Y1) (EndFn ?Y2)))) |
Media.kif 1945-1950 | |
(=> (and (instance ?T1 (YearFn 26)) (instance ?T2 (YearFn 100))) (temporalPart (WhenFn TwelveApostles) (TimeIntervalFn (BeginFn ?T1) (EndFn ?T2)))) |
Media.kif 1961-1965 | |
(=> (and (instance ?TIME TimePoint) (holdsDuring ?TIME (age ?OBJ ?DURATION))) (duration (TimeIntervalFn (BeginFn (WhenFn ?OBJ)) ?TIME) ?DURATION)) |
Merge.kif 7191-7195 | |
(=> (and (instance ?X BreakingRecord) (agent ?X ?A1)) (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q) (and (instance ?AC Set) (instance ?A1 ?AC) (subclass ?PC Process) (subclass ?L Region) (instance ?TP TimePoint) (instance ?Q Quantity) (refers ?X ?Q) (refers ?Q ?PC) (playsRoleInEvent ?A1 ?ROLE ?P1) (eventLocated ?P1 ?L) (not (exists (?A2 ?P2) (and (instance ?A2 ?AC) (not (equal ?A2 ?A1)) (instance ?P2 ?PC) (holdsDuring (TimeIntervalFn ?TP (EndFn (WhenFn ?X))) (and (playsRoleInEvent ?A2 ?ROLE ?P2) (eventLocated ?P2 ?L))))))))) |
Mid-level-ontology.kif 28228-28257 | |
(=> (and (reservationStart ?TIME1 ?R) (reservationEnd ?TIME2 ?R) (reservingEntity ?CUST ?R) (fulfillingEntity ?AGENT ?R)) (modalAttribute (holdsDuring (TimeIntervalFn ?TIME1 ?TIME2) (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?AGENT) (destination ?P ?CUST)))) Likely)) |
Dining.kif 665-678 | |
(=> (and (reservedRoom ?RESERVE ?ROOMTYPE) (reservationStart ?RESERVE ?TIME1) (reservationEnd ?RESERVE ?TIME2) (reservingEntity ?RESERVE ?CUST)) (modalAttribute (holdsDuring (TimeIntervalFn ?TIME1 ?TIME2) (and (instance ?X ?ROOMTYPE) (stays ?CUST ?X))) Likely)) |
Hotel.kif 2894-2905 | |
(=> (instance ?INTERVAL TimeInterval) (equal (FutureFn ?INTERVAL) (TimeIntervalFn (EndFn ?INTERVAL) PositiveInfinity))) |
Merge.kif 8006-8008 | |
(=> (instance ?INTERVAL TimeInterval) (equal (PastFn ?INTERVAL) (TimeIntervalFn NegativeInfinity (BeginFn ?INTERVAL)))) |
Merge.kif 7975-7977 | |
(=> (instance ?TIME LunchTime) (exists (?ELEVEN ?THREE) (and (during ?TIME (TimeIntervalFn (BeginFn ?ELEVEN) (EndFn ?THREE))) (instance ?ELEVEN (HourFn 11 ?DAY)) (instance ?THREE (HourFn 15 ?DAY))))) |
Food.kif 213-222 | |
(=> (measuringListDuration ?LIST ?DURATION) (exists (?T) (and (equal ?T (TimeIntervalFn (BeginFn (WhenFn (FirstFn ?LIST))) (Endfn (WhenFn (LastFn ?LIST))))) (duration ?T ?DURATION)))) |
Weather.kif 1618-1626 |
![]() |
![]() |