Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| previousMonthYear |
| appearance as argument number 1 |
|
| (instance previousMonthYear QuaternaryPredicate) | Weather.kif 741-741 | previous month of is an instance of quaternary predicate |
| (documentation previousMonthYear EnglishLanguage "(previousMonthYear ?M1 ?Y1 ?M2 ?Y2) relates the Month ?M2 of ?Y2 to is previous month ?M1. If ?M2 is equal to January,then ?Y1 is equal to ?Y2. Otherwise, ?Y1 is ?Y2 minus one year. For example, (previousMonthYear December 2024 January 2025).") | Weather.kif 742-745 | previous month of is an instance of quaternary predicate |
| (domainSubclass previousMonthYear 1 Month) | Weather.kif 748-748 | The number 1 argument of previous month of is a subclass of month |
| (domain previousMonthYear 2 Year) | Weather.kif 749-749 | The number 2 argument of previous month of is an instance of year |
| (domainSubclass previousMonthYear 3 Month) | Weather.kif 750-750 | The number 3 argument of previous month of is a subclass of month |
| (domain previousMonthYear 4 Year) | Weather.kif 751-751 | The number 4 argument of previous month of is an instance of year |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage previousMonthYear "previous month of") | Weather.kif 746-746 | |
| (format EnglishLanguage previousMonthYear "the previous month of %3 in year %4 is %1 %2") | Weather.kif 747-747 |
| antecedent |
|
|
| (=> (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) |
| (=> (and (equal ?MEAN (ThreeMonthsRunningMeanSSTFn ?W ?M ?Y)) (equal ?T (MeanMonthSSTFn ?W ?M ?Y)) (previousMonthYear ?M1 ?Y1 ?M ?Y) (equal ?T1 (MeanMonthSSTFn ?W ?M1 ?Y1)) (previousMonthYear ?M2 ?Y2 ?M1 ?Y1) (equal ?T2 (MeanMonthSSTFn ?W ?M2 ?Y2))) (exists (?N ?U) (and (equal ?N (AverageFn (PhysicalQuantityToNumberFn (ListFn ?T2 ?T1 ?T)))) (instance ?U UnitOfTemperature) (equal ?MEAN (MeasureFn ?N ?U))))) |
Weather.kif 789-807 | If All of the following hold: (1) equal X and ThreeMonthsRunningMeanSSTFn for month Y year Z in region W (2) equal V and MeanMonthSSTFn for Y in region W (3) the previous month of Y in year Z is U T (4) equal S and MeanMonthSSTFn for U in region W (5) the previous month of U in year T is R Q (6) equal P and MeanMonthSSTFn for R in region W, then there exist O and N such that equal O and the average of the numbers in PhysicalQuantityToNumberFn returns the numberic values of a list of (P, S, and V) and N is an instance of unit of temperature and equal X and O N(s) |
|