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 7925-7926 | |
(domain EndFn 1 TimeInterval) | Merge.kif 7922-7922 | domain EndFn, 1 and TimeInterval |
(instance EndFn TemporalRelation) | Merge.kif 7919-7919 | instance EndFn and TemporalRelation |
(instance EndFn TotalValuedRelation) | Merge.kif 7921-7921 | instance EndFn and TotalValuedRelation |
(instance EndFn UnaryFunction) | Merge.kif 7920-7920 | instance EndFn and UnaryFunction |
(range EndFn TimePoint) | Merge.kif 7923-7923 | 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 22035-22035 | |
(termFormat ChineseLanguage EndFn "结束函数") | chinese_format.kif 452-452 | |
(termFormat ChineseTraditionalLanguage EndFn "結束") | domainEnglishFormat.kif 22034-22034 | |
(termFormat EnglishLanguage EndFn "end") | domainEnglishFormat.kif 22033-22033 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |