| February(二月)
| |
| appearance as argument number 1 |
|
|
| (documentation February ChineseLanguage "这是所有二月 Month 的 Class。") | chinese_format.kif 2796-2796 | |
| (documentation February EnglishLanguage "The Class of all Months which are February.") | Merge.kif 9177-9177 | |
| (documentation February JapaneseLanguage "２月のすべての Month の Class。") | japanese_format.kif 1537-1537 | |
| (externalImage February "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") | pictureList.kif 4870-4870 | |
| (subclass February Month) | Merge.kif 9175-9175 | 二月 是 月 的 subclass |
| (successorClass February March) | Merge.kif 9138-9138 | successorClass 二月 and 三月 |
| appearance as argument number 2 |
|
|
| (successorClass January February) | Merge.kif 9137-9137 | successorClass 一月 and 二月 |
| (termFormat ChineseLanguage February "二月") | chinese_format.kif 1278-1278 | successorClass 一月 and 二月 |
| (termFormat EnglishLanguage February "February") | english_format.kif 1773-1773 | successorClass 一月 and 二月 |
| (termFormat FrenchLanguage February "F�vrier") | french_format.kif 956-956 | successorClass 一月 and 二月 |
| (termFormat Hindi February "pharavarI") | terms-hindi.txt 491-491 | successorClass 一月 and 二月 |
| (termFormat ItalianLanguage February "Febbraio") | terms-it.txt 495-495 | successorClass 一月 and 二月 |
| (termFormat JapaneseLanguage February "2月") | japanese_format.kif 2640-2640 | successorClass 一月 and 二月 |
| (termFormat PortugueseLanguage February "Fevereiro") | portuguese_format.kif 908-908 | successorClass 一月 and 二月 |
| (termFormat cb February "pebrero") | terms-cb.txt 497-497 | successorClass 一月 and 二月 |
| (termFormat cz February "february") | terms-cz.txt 531-531 | successorClass 一月 and 二月 |
| (termFormat de February "Februar") | terms-de.txt 790-790 | successorClass 一月 and 二月 |
| (termFormat ro February "februarie") | relations-ro.kif 977-977 | successorClass 一月 and 二月 |
| (termFormat tg February "Pebrero") | terms-tg.txt 496-496 | successorClass 一月 and 二月 |
| antecedent |
|
|
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration))) |
Merge.kif 9186-9191 | |
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration))) |
Merge.kif 9179-9184 | |
| (=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9193-9197 | |
| (=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9169-9173 |
| statement |
|
|
|
|
|