appearance as argument number 1 |
![]() |
(documentation Year ChineseLanguage "这是所有日历 Year 的 Class。") | chinese_format.kif 2781-2781 | |
(documentation Year EnglishLanguage "The Class of all calendar Years.") | Merge.kif 8644-8644 | |
(relatedInternalConcept Year YearDuration) | Merge.kif 8642-8642 | Year is internally related to year duration |
(relatedInternalConcept Year YearFn) | Merge.kif 8641-8641 | Year is internally related to year |
(subclass Year TimeInterval) | Merge.kif 8640-8640 | Year is a subclass of time interval |
appearance as argument number 2 |
![]() |
(rangeSubclass YearFn Year) | Merge.kif 8458-8458 | The values returned by year are subclasses of year |
(subclass LeapYear Year) | Merge.kif 8894-8894 | Leap year is a subclass of year |
(termFormat ChineseLanguage Year "年") | chinese_format.kif 1274-1274 | |
(termFormat ChineseTraditionalLanguage Year "年") | domainEnglishFormat.kif 63717-63717 | |
(termFormat EnglishLanguage Year "year") | english_format.kif 1765-1765 |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |