Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  previousMonthYear

 Sigma KEE - previousMonthYear
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)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners