| October(October)
| | 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 8596-8596 | |
| (externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") | pictureList.kif 4936-4936 | |
| (subclass October Month) | Merge.kif 8594-8594 | October is a subclass of month |
| (successorClass October November) | Merge.kif 8442-8442 | successorClass October and November |
| appearance as argument number 2 |
|
|
| (successorClass September October) | Merge.kif 8441-8441 | successorClass September and October |
| (termFormat ChineseLanguage October "十月") | chinese_format.kif 1286-1286 | |
| (termFormat EnglishLanguage October "October") | english_format.kif 1798-1798 |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 8602-8606 |
|
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 8588-8592 |
|
| (=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 8598-8600 |
|
| statement |
|
|
|
|
|