|
|
   November
|
|
|
| appearance as argument number 1 |
|
|
| (documentation November ChineseLanguage "这是所有十一月 Month 的 Class。") | Merge.kif 9225-9225 | |
| (documentation November EnglishLanguage "The Class of all Months which are November.") | Merge.kif 9224-9224 | |
| (externalImage November "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ PB090036.JPG") | pictureList.kif 4935-4935 | externalImage 十一月 and "http://upload.wikimedia.org/wikipedia/commons/f/f8/ PB090036.JPG" |
| (subclass November Month) | Merge.kif 9223-9223 | 十一月 是 月 的 subclass |
| (successorClass November December) | Merge.kif 9057-9057 | successorClass 十一月 and 十二月 |
| appearance as argument number 2 |
|
|
| (successorClass October November) | Merge.kif 9056-9056 | successorClass 十月 and 十一月 |
| (termFormat ChineseLanguage November "十一月") | chinese_format.kif 1287-1287 | termFormat ChineseLanguage, 十一月 and "十一月" |
| (termFormat EnglishLanguage November "November") | english_format.kif 974-974 | termFormat EnglishLanguage, 十一月 and "November" |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9231-9235 | |
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9217-9221 | |
| (=> (instance ?MONTH November) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9227-9229 |
| 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 |
|
|
|
|
|
