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


KB Term:  Term intersection
English Word: 

Sigma KEE - DailyTempListFn
DailyTempListFn

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


(instance DailyTempListFn TernaryFunction) Weather.kif 631-631 Daily temperature list of the month is an instance of ternary function
(documentation DailyTempListFn EnglishLanguage "(DailyTempListFn ?PLACE ?MONTH ?YEAR) denotes a List containing the daily average temperature measurements recorded for that ?MONTH of the year of ?YEAR at ?PLACE. This list can be used to calculate the monthly mean SST by MeanMonthSSTFn using AverageFn or other temperature measurements.") Weather.kif 632-635 Daily temperature list of the month is an instance of ternary function
(domain DailyTempListFn 1 GeographicArea) Weather.kif 638-638 The number 1 argument of daily temperature list of the month is an instance of geographic area
(domainSubclass DailyTempListFn 2 Month) Weather.kif 639-639 The number 2 argument of daily temperature list of the month is a subclass of month
(domain DailyTempListFn 3 Year) Weather.kif 640-640 The number 3 argument of daily temperature list of the month is an instance of year
(range DailyTempListFn List) Weather.kif 641-641 The range of daily temperature list of the month is an instance of list

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


(termFormat EnglishLanguage DailyTempListFn "daily temperature list of the month") Weather.kif 636-636
(format EnglishLanguage DailyTempListFn "The List of daily temperature for month %2 in year %3 for GeographicArea %1") Weather.kif 637-637

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


(=>
    (and
        (equal ?L
            (DailyTempListFn ?W ?M ?Y))
        (inList ?T ?L)
        (equal ?DAYS
            (NumberOfDaysInMonthFn ?M ?Y)))
    (exists (?D ?DAY ?YEAR)
        (and
            (lessThanOrEqualTo ?D ?DAYS)
            (equal ?T
                (DailyTempFn ?W ?DAY))
            (instance ?Y ?YEAR)
            (instance ?DAY
                (DayFn ?D
                    (MonthFn ?M ?YEAR))))))		 Weather.kif 643-657 If equal X and The List of daily temperature for month Y in year Z for GeographicArea W, V is a member of X, and equal U, Number of days in month Y, and year Z, then there exist T, S, R such that T is less than or equal to U, equal V, The avearage daily temperature for Region W, Z is an instance of R, and S is an instance of the day T of month the month Y

consequent
-------------------------


(=>
    (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


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