October(October)![]() | ![]() | 10月, Oct, 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 8505-8505 | |
(externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") | pictureList.kif 4936-4936 | "http://upload.wikimedia.org/wikipedia/commons/b/bb/ WallCalendar.jpg" is a URL depicting October |
(subclass October Month) | Merge.kif 8503-8503 | October is a subclass of month |
(successorClass October November) | Merge.kif 8351-8351 | successorClass October and November |
appearance as argument number 2 |
![]() |
(successorClass September October) | Merge.kif 8350-8350 | successorClass September and October |
(termFormat ChineseLanguage October "十月") | chinese_format.kif 1286-1286 | "十月" is the printable form of October in ChineseLanguage |
(termFormat EnglishLanguage October "October") | english_format.kif 1798-1798 | "October" is the printable form of October in english language |
antecedent |
![]() |
(=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 8511-8515 |
|
(=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 8497-8501 |
|
(=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 8507-8509 |
|
statement |
![]() |
![]() |
![]() |