EndFn |
appearance as argument number 1 |
![]() |
(documentation EndFn ChineseLanguage "这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段结束的 TimePoint联系起来。") | chinese_format.kif 2699-2700 | |
(documentation EndFn EnglishLanguage "A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval ends.") | Merge.kif 7980-7981 | |
(domain EndFn 1 TimeInterval) | Merge.kif 7977-7977 | domain EndFn, 1 and TimeInterval |
(instance EndFn TemporalRelation) | Merge.kif 7974-7974 | instance EndFn and TemporalRelation |
(instance EndFn TotalValuedRelation) | Merge.kif 7976-7976 | instance EndFn and TotalValuedRelation |
(instance EndFn UnaryFunction) | Merge.kif 7975-7975 | instance EndFn and UnaryFunction |
(range EndFn TimePoint) | Merge.kif 7978-7978 | range EndFn and TimePoint |
appearance as argument number 2 |
![]() |
(format ChineseLanguage EndFn "%1 的结束") | chinese_format.kif 451-451 | |
(format EnglishLanguage EndFn "the end of %1") | english_format.kif 457-457 | |
(termFormat ChineseLanguage EndFn "结束") | domainEnglishFormat.kif 22030-22030 | |
(termFormat ChineseLanguage EndFn "结束函数") | chinese_format.kif 452-452 | |
(termFormat ChineseTraditionalLanguage EndFn "結束") | domainEnglishFormat.kif 22029-22029 | |
(termFormat EnglishLanguage EndFn "end") | domainEnglishFormat.kif 22028-22028 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |