| September
| |
| appearance as argument number 1 |
|
|
| (documentation September ChineseLanguage "这是所有九月 Month 的 Class。") | Merge.kif 9197-9197 | |
| (documentation September EnglishLanguage "The Class of all Months which are September.") | Merge.kif 9195-9196 | |
| (externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 4943-4943 | |
| (subclass September Month) | Merge.kif 9194-9194 | |
| (successorClass September October) | Merge.kif 9055-9055 |
| appearance as argument number 2 |
|
|
| (successorClass August September) | Merge.kif 9054-9054 | |
| (termFormat ChineseLanguage September "九月") | chinese_format.kif 1285-1285 | |
| (termFormat EnglishLanguage September "September") | english_format.kif 972-972 |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9187-9191 | |
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9203-9207 | |
| (=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9199-9201 |
| statement |
|
|
|
|
|