| October(十月)
| |
| appearance as argument number 1 |
|
|
| (documentation October ChineseLanguage "这是所有十月 Month 的 Class。") | chinese_format.kif 2804-2804 | |
| (documentation October EnglishLanguage "The Class of all Months which are October.") | Merge.kif 9285-9285 | |
| (documentation October JapaneseLanguage "１０月のすべての Month の Class。") | japanese_format.kif 1545-1545 | |
| (externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") | pictureList.kif 4934-4934 | |
| (subclass October Month) | Merge.kif 9283-9283 | 十月 是 月 的 subclass |
| (successorClass October November) | Merge.kif 9131-9131 | successorClass 十月 and 十一月 |
| appearance as argument number 2 |
|
|
| (successorClass September October) | Merge.kif 9130-9130 | successorClass 九月 and 十月 |
| (termFormat ChineseLanguage October "十月") | chinese_format.kif 1286-1286 | successorClass 九月 and 十月 |
| (termFormat EnglishLanguage October "October") | english_format.kif 1789-1789 | successorClass 九月 and 十月 |
| (termFormat FrenchLanguage October "Octobre") | french_format.kif 964-964 | successorClass 九月 and 十月 |
| (termFormat Hindi October "aktUbara") | terms-hindi.txt 499-499 | successorClass 九月 and 十月 |
| (termFormat ItalianLanguage October "Ottobre") | terms-it.txt 503-503 | successorClass 九月 and 十月 |
| (termFormat JapaneseLanguage October "10月") | japanese_format.kif 2648-2648 | successorClass 九月 and 十月 |
| (termFormat PortugueseLanguage October "Outubro") | portuguese_format.kif 916-916 | successorClass 九月 and 十月 |
| (termFormat cb October "octobre") | terms-cb.txt 505-505 | successorClass 九月 and 十月 |
| (termFormat cz October "october") | terms-cz.txt 539-539 | successorClass 九月 and 十月 |
| (termFormat de October "Oktober") | terms-de.txt 798-798 | successorClass 九月 and 十月 |
| (termFormat ro October "octombrie") | relations-ro.kif 985-985 | successorClass 九月 and 十月 |
| (termFormat tg October "Oktubre") | terms-tg.txt 504-504 | successorClass 九月 and 十月 |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9291-9295 | |
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9277-9281 | |
| (=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9287-9289 |
| statement |
|
|
|
|
|