YearFn |
appearance as argument number 1 |
![]() |
(documentation YearFn ChineseLanguage "这是一个 UnaryFunction, 它把一个数字和对应的日历 Year 联系起来。例如:(YearFn 1912)会得出,1912年这个只有一个实例的 Class。正如所料的,正整数会得出公元 的年份,而负整数会得出 公元前的年份。注:这个函数得出一个 Class 作为它的值,原因是和它相关的函数,即 MonthFn、 DayFn、 HourFn、 MinuteFn 和 SecondFn 等,是用来得出特定的 TimeInterval 和重复发生的时段,而唯一的做法是把这些函数的领域和范围当成类别而不是个别的实例。") | chinese_format.kif 2749-2753 | |
(documentation YearFn EnglishLanguage "A UnaryFunction that maps a number to the corresponding calendar Year. For example, (YearFn 1912) returns the Class containing just one instance, the year of 1912. As might be expected, positive integers return years in the Common Era, while negative integers return years in B.C.E. Note that this function returns a Class as a value. The reason for this is that the related functions, viz. MonthFn, DayFn, HourFn, MinuteFn, and SecondFn, are used to generate both specific TimeIntervals and recurrent intervals, and the only way to do this is to make the domains and ranges of these functions classes rather than individuals.") | Merge.kif 8468-8476 | |
(domain YearFn 1 Integer) | Merge.kif 8465-8465 | The number 1 argument of year is an instance of integer |
(instance YearFn TemporalRelation) | Merge.kif 8462-8462 | Year is an instance of temporal relation |
(instance YearFn TotalValuedRelation) | Merge.kif 8464-8464 | Year is an instance of total valued relation |
(instance YearFn UnaryFunction) | Merge.kif 8463-8463 | Year is an instance of unary function |
(rangeSubclass YearFn Year) | Merge.kif 8466-8466 | The values returned by year are subclasses of year |
appearance as argument number 2 |
![]() |
(format ChineseLanguage YearFn "%1 year") | chinese_format.kif 465-465 | |
(format EnglishLanguage YearFn "the year %1") | english_format.kif 471-471 | |
(relatedInternalConcept Year YearFn) | Merge.kif 8649-8649 | Year is internally related to year |
(termFormat ChineseLanguage YearFn "年") | domainEnglishFormat.kif 63730-63730 | |
(termFormat ChineseLanguage YearFn "年函数") | chinese_format.kif 466-466 | |
(termFormat ChineseTraditionalLanguage YearFn "年") | domainEnglishFormat.kif 63729-63729 | |
(termFormat EnglishLanguage YearFn "year") | domainEnglishFormat.kif 63728-63728 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
![]() |
![]() |