Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
January(January)
|  | Jan, January |
| appearance as argument number 1 |
|
|
| (successorClass January February) | Merge.kif 9226-9226 | February is the successor class of January. |
| (subclass January Month) | Merge.kif 9250-9250 | January is a subclass of month |
| (documentation January EnglishLanguage "The Class of all Months which are January.") | Merge.kif 9252-9252 | January is a subclass of month |
| (externalImage January "http://upload.wikimedia.org/wikipedia/commons/f/ f6/ Ice_fishing_Lake_Harriet-2007-01-20.jpg") | pictureList.kif 4896-4896 | January is a subclass of month |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage January "January") | english_format.kif 1775-1775 |
| antecedent |
|
|
| (=> (instance ?MONTH January) (duration ?MONTH (MeasureFn 31 DayDuration))) |
Merge.kif 9254-9256 | If X is an instance of January, then duration of X is 31 day duration(s) |
| (=> (and (instance ?MONTH1 (MonthFn January ?YEAR)) (instance ?MONTH2 (MonthFn February ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9258-9262 | If X is an instance of the month January and Y is an instance of the month February, then X meets Y |
| (=> (and (instance ?MONTH1 (MonthFn December ?YEAR1)) (instance ?MONTH2 (MonthFn January ?YEAR2)) (instance ?Y1 ?YEAR1) (instance ?Y2 ?YEAR2) (meetsTemporally ?Y1 ?Y2)) (meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9423-9430 | If X is an instance of the month December, Y is an instance of the month January, Z is an instance of W, V is an instance of U, and Z meets V, then X meets Y |
| (=> (and (previousMonthYear ?M1 ?Y1 ?M2 ?Y2) (not (equal ?M2 January))) (and (successorClass ?M1 ?M2) (equal ?Y1 ?Y2))) |
Weather.kif 753-760 | If the previous month of X in year Y is Z W and equal X and January, then X is the successor class of Z. and equal W and Y |
| (=> (and (previousMonthYear ?M1 ?Y1 ?M2 ?Y2) (instance ?Y2 (YearFn ?I)) (equal ?M2 (MonthFn January (YearFn ?I)))) (and (equal ?M1 December) (instance ?Y1 (YearFn (SubtractionFn ?I 1))))) |
Weather.kif 762-773 | If the previous month of X in year Y is Z W, Y is an instance of the year V, and equal X and the month January, then equal Z and December and W is an instance of the year (V and 1) |
| consequent |
|
|
| (=> (instance ?CES ConsumerElectronicsShow) (exists (?J) (and (instance ?J January) (during ?CES ?J)))) |
ComputingBrands.kif 2391-2396 | If X is an instance of Consumer Electronics Show, then there exists Y such that Y is an instance of January and X takes place during Y |
| statement |
|
|
|