BeginFn |
appearance as argument number 1 |
![]() |
(documentation BeginFn ChineseLanguage "这是一个 UnaryFunction,它把一个 TimeInterval 和 这个时段开始的 TimePoint 联系起来。") | chinese_format.kif 2697-2698 | |
(documentation BeginFn EnglishLanguage "A UnaryFunction that maps a TimeInterval to the TimePoint at which the interval begins.") | Merge.kif 7952-7953 | |
(domain BeginFn 1 TimeInterval) | Merge.kif 7949-7949 | domain BeginFn, 1 and TimeInterval |
(instance BeginFn TemporalRelation) | Merge.kif 7946-7946 | instance BeginFn and TemporalRelation |
(instance BeginFn TotalValuedRelation) | Merge.kif 7948-7948 | instance BeginFn and TotalValuedRelation |
(instance BeginFn UnaryFunction) | Merge.kif 7947-7947 | instance BeginFn and UnaryFunction |
(range BeginFn TimePoint) | Merge.kif 7950-7950 | range BeginFn and TimePoint |
appearance as argument number 2 |
![]() |
(format ChineseLanguage BeginFn "%1 的开始") | chinese_format.kif 449-449 | |
(format EnglishLanguage BeginFn "the beginning of %1") | english_format.kif 455-455 | |
(termFormat ChineseLanguage BeginFn "开始") | domainEnglishFormat.kif 10563-10563 | |
(termFormat ChineseLanguage BeginFn "开始函数") | chinese_format.kif 450-450 | |
(termFormat ChineseTraditionalLanguage BeginFn "開始") | domainEnglishFormat.kif 10562-10562 | |
(termFormat EnglishLanguage BeginFn "begin") | domainEnglishFormat.kif 10561-10561 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |