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 7475-7476 | |
(domain EndFn 1 TimeInterval) | Merge.kif 7472-7472 | The number 1 argument of end is an instance of time interval |
(instance EndFn TemporalRelation) | Merge.kif 7469-7469 | End is an instance of temporal relation |
(instance EndFn TotalValuedRelation) | Merge.kif 7471-7471 | End is an instance of total valued relation |
(instance EndFn UnaryFunction) | Merge.kif 7470-7470 | End is an instance of unary function |
(range EndFn TimePoint) | Merge.kif 7473-7473 | The range of end is an instance of time point |
appearance as argument number 2 |
![]() |
(format ChineseLanguage EndFn "%1 的结束") | chinese_format.kif 451-451 | |
(format EnglishLanguage EndFn "the end of %1") | english_format.kif 460-460 | |
(termFormat ChineseLanguage EndFn "结束") | domainEnglishFormat.kif 21973-21973 | "结束" is the printable form of end in ChineseLanguage |
(termFormat ChineseLanguage EndFn "结束函数") | chinese_format.kif 452-452 | "结束函数" is the printable form of end in ChineseLanguage |
(termFormat ChineseTraditionalLanguage EndFn "結束") | domainEnglishFormat.kif 21972-21972 | "結束" is the printable form of end in ChineseTraditionalLanguage |
(termFormat EnglishLanguage EndFn "end") | domainEnglishFormat.kif 21971-21971 | "end" is the printable form of end in english language |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(equal (EndFn CommonEra) PositiveInfinity) |
Mid-level-ontology.kif 7598-7598 | The end of common era is equal to positive infinity |
![]() |
![]() |