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 8317-8320 | |
(domain TimeIntervalFn 1 TimePoint) | Merge.kif 8313-8313 | 时段函数 的 1 数量 是 时点 的 instance |
(domain TimeIntervalFn 2 TimePoint) | Merge.kif 8314-8314 | 时段函数 的 2 数量 是 时点 的 instance |
(instance TimeIntervalFn BinaryFunction) | Merge.kif 8310-8310 | 时段函数 是 二元函数 的 instance |
(instance TimeIntervalFn PartialValuedRelation) | Merge.kif 8312-8312 | 时段函数 是 部分值关系 的 instance |
(instance TimeIntervalFn TemporalRelation) | Merge.kif 8311-8311 | 时段函数 是 时间关系 的 instance |
(range TimeIntervalFn TimeInterval) | Merge.kif 8315-8315 | 时段函数 的 range 是 时距 的实例 |
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 | |
(termFormat ChineseLanguage TimeIntervalFn "时段函数") | chinese_format.kif 454-454 | |
(termFormat ChineseLanguage TimeIntervalFn "时间间隔") | domainEnglishFormat.kif 58091-58091 | |
(termFormat ChineseTraditionalLanguage TimeIntervalFn "時間間隔") | domainEnglishFormat.kif 58090-58090 | |
(termFormat EnglishLanguage TimeIntervalFn "time interval") | domainEnglishFormat.kif 58089-58089 |
antecedent |
![]() |
(=> (and (holdsDuring ?T1 (attribute ?F Menopausal)) (equal ?BEFORE (SubtractionFn (YearDuration 1) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F))))) |
Mid-level-ontology.kif 23329-23343 | |
(=> (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 8322-8330 | |
(=> (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 8332-8341 | |
(=> (and (instance ?T1 TimePoint) (instance ?T2 TimePoint) (equal ?INTERVAL (TimeIntervalFn ?T1 ?T2)) (duration ?INTERVAL ?PERIOD)) (equal ?INTERVAL (TimePeriodFn ?T1 ?PERIOD))) |
Mid-level-ontology.kif 13506-13512 |
consequent |
![]() |
![]() |
![]() |