| LeapYear(闰年)
| |
| appearance as argument number 1 |
|
|
| (documentation LeapYear ChineseLanguage "这是所有闰年的 Class。这些年份当中，要不是(i.)能被4 却不能被100整除的，或是 (ii.)能被400整除的(后者是为世纪闰年)。") | chinese_format.kif 2791-2792 | |
| (documentation LeapYear EnglishLanguage "The Class of all leap years. These are years which are either (i.) evenly divisible by 4 and not by 100 or (ii.) evenly divisible by 400 (this latter case is known as a leap century).") | Merge.kif 8907-8909 | |
| (externalImage LeapYear "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Gregoriancalendarleap.png") | pictureList.kif 7182-7182 | |
| (subclass LeapYear Year) | Merge.kif 8905-8905 | 闰年 是 年 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LeapYear "闰年") | chinese_format.kif 1275-1275 | |
| (termFormat EnglishLanguage LeapYear "leap year") | english_format.kif 1767-1767 |
| antecedent |
|
|
| (=> (and (instance ?LEAP LeapYear) (instance ?LEAP (YearFn ?NUMBER))) (or (and (equal (RemainderFn ?NUMBER 4) 0) (not (equal (RemainderFn ?NUMBER 100) 0))) (equal (RemainderFn ?NUMBER 400) 0))) |
Merge.kif 8911-8919 | |
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration))) |
Merge.kif 8982-8987 | |
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration))) |
Merge.kif 8975-8980 |
|
|
|