TreeView Knowledge Base Browser

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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: