| 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 9162-9162 | |
| (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 9160-9160 | |
| (successorClass February March) | Merge.kif 9123-9123 |
| appearance as argument number 2 |
|
|
| (successorClass January February) | Merge.kif 9122-9122 | |
| (termFormat ChineseLanguage February "二月") | chinese_format.kif 1278-1278 | |
| (termFormat EnglishLanguage February "February") | english_format.kif 1773-1773 | |
| (termFormat FrenchLanguage February "F�vrier") | french_format.kif 956-956 | |
| (termFormat Hindi February "pharavarI") | terms-hindi.txt 491-491 | |
| (termFormat ItalianLanguage February "Febbraio") | terms-it.txt 495-495 | |
| (termFormat JapaneseLanguage February "2月") | japanese_format.kif 2640-2640 | |
| (termFormat PortugueseLanguage February "Fevereiro") | portuguese_format.kif 908-908 | |
| (termFormat cb February "pebrero") | terms-cb.txt 497-497 | |
| (termFormat cz February "february") | terms-cz.txt 531-531 | |
| (termFormat de February "Februar") | terms-de.txt 790-790 | |
| (termFormat ro February "februarie") | relations-ro.kif 977-977 | |
| (termFormat tg February "Pebrero") | terms-tg.txt 496-496 |
| antecedent |
|
|
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (instance ?Y LeapYear)) (duration ?MONTH (MeasureFn 29 DayDuration))) |
Merge.kif 9171-9176 | |
| (=> (and (instance ?MONTH (MonthFn February ?YEAR)) (instance ?Y ?YEAR) (not (instance ?Y LeapYear))) (duration ?MONTH (MeasureFn 28 DayDuration))) |
Merge.kif 9164-9169 | |
| (=> (and (instance ?MONTH1 (MonthFn February ?YEAR)) (instance ?MONTH2 (MonthFn March ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9178-9182 | |
| (=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9154-9158 |
| statement |
|
|
|
|
|