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


KB Term:  Term intersection
English Word: 

Sigma KEE - MeanMonthSSTFn
MeanMonthSSTFn

appearance as argument number 1
-------------------------


(instance MeanMonthSSTFn TernaryFunction) Weather.kif 612-612 Mean month sea surface temperature is an instance of ternary function
(documentation MeanMonthSSTFn EnglishLanguage "(MeanMonthSSTFn ?PLACE ?MONTH ?YEAR) denotes a TemperatureMeasure which is the average value of a List of 28 to 31 average daily seaSurfaceTemperature measurements, during that Month of the Year.") Weather.kif 613-616 Mean month sea surface temperature is an instance of ternary function
(domain MeanMonthSSTFn 1 WaterArea) Weather.kif 619-619 The number 1 argument of mean month sea surface temperature is an instance of water area
(domainSubclass MeanMonthSSTFn 2 Month) Weather.kif 620-620 The number 2 argument of mean month sea surface temperature is a subclass of month
(domain MeanMonthSSTFn 3 Year) Weather.kif 621-621 The number 3 argument of mean month sea surface temperature is an instance of year
(range MeanMonthSSTFn TemperatureMeasure) Weather.kif 622-622 The range of mean month sea surface temperature is an instance of temperature measure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage MeanMonthSSTFn "mean month sea surface temperature") Weather.kif 617-617
(format EnglishLanguage MeanMonthSSTFn "MeanMonthSSTFn for %2 in region %1") Weather.kif 618-618

antecedent
-------------------------


(=>
    (equal
        (MeanMonthSSTFn ?W ?M ?Y)
        (MeasureFn
            (AverageFn ?LIST) ?U))
    (equal ?LIST
        (PhysicalQuantityToNumberFn
            (DailyTempListFn ?W ?M ?Y))))		 Weather.kif 624-629 If equal MeanMonthSSTFn for X in region Y and the average of the numbers in Z W(s), then equal Z and PhysicalQuantityToNumberFn returns the numberic values of a list of The List of daily temperature for month X in year V for GeographicArea Y
(=>
    (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)
(=>
    (and
        (equal ?TEMP
            (ThirtyYearAverageSSTForMonthFn ?W ?M ?Y))
        (instance ?Y
            (YearFn ?I))
        (equal ?YEAR
            (SubtractionFn ?I ?N))
        (greaterThanOrEqualTo ?N 0)
        (lessThan ?N 30)
        (instance ?U UnitOfTemperature)
        (equal
            (MeasureFn ?X ?U)
            (MeanMonthSSTFn ?W ?M
                (YearFn ?YEAR)))
        (inList ?X ?L))
    (equal ?TEMP
        (MeasureFn
            (AverageFn ?L) ?U)))		 Weather.kif 822-839 If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s)


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


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