Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
October(October)
|  | Oct, October |
| appearance as argument number 1 |
|
|
| (successorClass October November) | Merge.kif 9235-9235 | November is the successor class of October. |
| (subclass October Month) | Merge.kif 9387-9387 | October is a subclass of month |
| (documentation October EnglishLanguage "The Class of all Months which are October.") | Merge.kif 9389-9389 | October is a subclass of month |
| (externalImage October "http://upload.wikimedia.org/wikipedia/commons/b/ bb/ WallCalendar.jpg") | pictureList.kif 4934-4934 | October is a subclass of month |
| appearance as argument number 2 |
|
|
| (successorClass September October) | Merge.kif 9234-9234 | October is the successor class of September. |
| (termFormat EnglishLanguage October "October") | english_format.kif 1793-1793 | October is the successor class of September. |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn September ?YEAR)) (instance ?MONTH2 (MonthFn October ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9381-9385 | If X is an instance of the month September and Y is an instance of the month October, then X meets Y |
| (=> (instance ?MONTH October) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9391-9393 | If X is an instance of October, then duration of X is 31 day duration(s) |
| (=> (and (instance ?MONTH1 (MonthFn October ?YEAR)) (instance ?MONTH2 (MonthFn November ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9395-9399 | If X is an instance of the month October and Y is an instance of the month November, then X meets Y |
| statement |
|
|
|