Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
September(September)
|  | Sep, Sept, September |
| appearance as argument number 1 |
|
|
| (successorClass September October) | Merge.kif 9234-9234 | October is the successor class of September. |
| (subclass September Month) | Merge.kif 9372-9372 | September is a subclass of month |
| (documentation September EnglishLanguage "The Class of all Months which are September.") | Merge.kif 9374-9375 | September is a subclass of month |
| (externalImage September "http://upload.wikimedia.org/wikipedia/commons/ b/ bb/ WallCalendar.jpg") | pictureList.kif 4941-4941 | September is a subclass of month |
| appearance as argument number 2 |
|
|
| (successorClass August September) | Merge.kif 9233-9233 | September is the successor class of August. |
| (termFormat EnglishLanguage September "September") | english_format.kif 1791-1791 | September is the successor class of August. |
| antecedent |
|
|
| (=> (and (instance ?MONTH1 (MonthFn August ?YEAR)) (instance ?MONTH2 (MonthFn September ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9366-9370 | If X is an instance of the month August and Y is an instance of the month September, then X meets Y |
| (=> (instance ?MONTH September) (duration ?MONTH (MeasureFn 30 DayDuration))) |
Merge.kif 9377-9379 | If X is an instance of September, then duration of X is 30 day duration(s) |
| (=> (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 |
| statement |
|
|
|