November(November) | Nov, November |
appearance as argument number 1 |
(documentation November ChineseLanguage "这是所有十一月 Month 的 Class。") | chinese_format.kif 2805-2805 | |
(documentation November EnglishLanguage "The Class of all Months which are November.") | Merge.kif 9237-9237 | |
(documentation November JapaneseLanguage "11月のすべての Month の Class。") | japanese_format.kif 1546-1546 | |
(externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") | pictureList.kif 4934-4934 | |
(subclass November Month) | Merge.kif 9235-9235 | November is a subclass of month |
(successorClass November December) | Merge.kif 9070-9070 | December is the successor class of November. |
appearance as argument number 2 |
(successorClass October November) | Merge.kif 9069-9069 | November is the successor class of October. |
(termFormat ChineseLanguage November "十一月") | chinese_format.kif 1287-1287 | |
(termFormat EnglishLanguage November "November") | english_format.kif 1791-1791 | |
(termFormat FrenchLanguage November "Novembre") | french_format.kif 965-965 | |
(termFormat Hindi November "navambara") | terms-hindi.txt 500-500 | |
(termFormat ItalianLanguage November "Novembre") | terms-it.txt 504-504 | |
(termFormat JapaneseLanguage November "11月") | japanese_format.kif 2649-2649 | |
(termFormat PortugueseLanguage November "Novembro") | portuguese_format.kif 917-917 | |
(termFormat cb November "nobembre") | terms-cb.txt 506-506 | |
(termFormat cz November "november") | terms-cz.txt 540-540 | |
(termFormat ro November "noiembrie") | relations-ro.kif 986-986 | |
(termFormat tg November "Nobyembre") | terms-tg.txt 505-505 |
antecedent |
(=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9243-9247 |
|
(=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9229-9233 |
|
(=> (instance ?MONTH November) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9239-9241 |
|
consequent |
(=> (and (instance ?H Hanukkah) (equal ?B (BeginFn ?H))) (exists (?M) (and (temporalPart ?B ?M) (instance ?M Month) (or (instance ?M November) (instance ?M December))))) |
Media.kif 587-597 |
|
(=> (instance ?T USThanksgivingDay) (exists (?M) (and (instance ?M November) (during ?T ?M)))) |
Media.kif 635-640 |
|
statement |