| September(September)
| | Sep, Sept, 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 9285-9286 | |
| (documentation September JapaneseLanguage "９月のすべての Month の Class。") | japanese_format.kif 1544-1544 | |
| (externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 4941-4941 | |
| (subclass September Month) | Merge.kif 9283-9283 | September is a subclass of month |
| (successorClass September October) | Merge.kif 9145-9145 | October is the successor class of September. |
| appearance as argument number 2 |
|
|
| (successorClass August September) | Merge.kif 9144-9144 | September is the successor class of August. |
| (termFormat ChineseLanguage September "九月") | chinese_format.kif 1285-1285 | September is the successor class of August. |
| (termFormat EnglishLanguage September "September") | english_format.kif 1787-1787 | September is the successor class of August. |
| (termFormat FrenchLanguage September "Septembre") | french_format.kif 963-963 | September is the successor class of August. |
| (termFormat Hindi September "sitambara") | terms-hindi.txt 498-498 | September is the successor class of August. |
| (termFormat ItalianLanguage September "Settembre") | terms-it.txt 502-502 | September is the successor class of August. |
| (termFormat JapaneseLanguage September "9月") | japanese_format.kif 2647-2647 | September is the successor class of August. |
| (termFormat PortugueseLanguage September "Setembro") | portuguese_format.kif 915-915 | September is the successor class of August. |
| (termFormat cb September "septembre") | terms-cb.txt 504-504 | September is the successor class of August. |
| (termFormat cz September "september") | terms-cz.txt 538-538 | September is the successor class of August. |
| (termFormat de September "September") | terms-de.txt 797-797 | September is the successor class of August. |
| (termFormat ro September "septembrie") | relations-ro.kif 984-984 | September is the successor class of August. |
| (termFormat tg September "Setyembre") | terms-tg.txt 503-503 | September is the successor class of August. |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9277-9281 |
|
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9292-9296 |
|
| (=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9288-9290 |
|
| statement |
|
|
|
|
|