September![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation September ChineseLanguage "这是所有九月 Month 的 Class。") | chinese_format.kif 2803-2803 | |
(documentation September EnglishLanguage "The Class of all Months which are September.") | Merge.kif 9081-9082 | |
(externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 4943-4943 | |
(subclass September Month) | Merge.kif 9079-9079 | |
(successorClass September October) | Merge.kif 8941-8941 |
appearance as argument number 2 |
![]() |
(successorClass August September) | Merge.kif 8940-8940 | |
(termFormat ChineseLanguage September "九月") | chinese_format.kif 1285-1285 | |
(termFormat EnglishLanguage September "September") | english_format.kif 1787-1787 |
antecedent |
![]() |
(=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9073-9077 | |
(=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9088-9092 | |
(=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9084-9086 |
statement |
![]() |
![]() |
![]() |