DailyTempFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance DailyTempFn BinaryFunction)	Weather.kif 703-703	Daily temperature of a place for a certain day is an instance of binary function
(documentation DailyTempFn EnglishLanguage "(DailyTempFn ?PLACE ?DAY) returns the daily average temperature measurements recorded for the date specified. The TemperatureMeasure can be used to fill in the List of DailyTempListFn calculate the monthly mean SST by MeanMonthSSTFn using AverageFn. In theory, it can be adapted to calculate other temperature measurement for a place for a particular day.")	Weather.kif 704-709	Daily temperature of a place for a certain day is an instance of binary function
(domain DailyTempFn 1 GeographicArea)	Weather.kif 712-712	The number 1 argument of daily temperature of a place for a certain day is an instance of geographic area
(domain DailyTempFn 2 Day)	Weather.kif 713-713	The number 2 argument of daily temperature of a place for a certain day is an instance of day
(range DailyTempFn TemperatureMeasure)	Weather.kif 714-714	The range of daily temperature of a place for a certain day is an instance of temperature measure

appearance as argument number 2

(termFormat EnglishLanguage DailyTempFn "daily temperature of a place for a certain day")	Weather.kif 710-710
(format EnglishLanguage DailyTempFn "The avearage daily temperature for Region %1")	Weather.kif 711-711

antecedent

(=>
    (and
        (instance ?W WaterArea)
        (equal ?T
            (DailyTempFn ?W ?D)))
    (averageSSTForPeriod ?W ?D ?T))

Weather.kif 716-721

If X is an instance of water area and equal Y and The avearage daily temperature for Region X, then Y for X for Z

consequent

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

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners