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

KB Term:  Term intersection
English Word: 

Sigma KEE - NumberOfDaysInMonthFn
NumberOfDaysInMonthFn

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


(instance NumberOfDaysInMonthFn BinaryFunction) Weather.kif 659-659 Number of days in the month is an instance of binary function
(documentation NumberOfDaysInMonthFn EnglishLanguage "(NumberOfDaysInMonthFn ?MONTH ?YEAR) returns an Integer representing the number of days in that particular Month of the Year. It uses duration to relate the number previous stated in the axiom repositiory. It also uses LeapYear to distinguish the two different numbers of day in February of a particular year.") Weather.kif 660-663 Number of days in the month is an instance of binary function
(domainSubclass NumberOfDaysInMonthFn 1 Month) Weather.kif 666-666 The number 1 argument of number of days in the month is a subclass of month
(domain NumberOfDaysInMonthFn 2 Year) Weather.kif 667-667 The number 2 argument of number of days in the month is an instance of year
(range NumberOfDaysInMonthFn NonnegativeInteger) Weather.kif 668-668 The range of number of days in the month is an instance of nonnegative integer

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


(termFormat EnglishLanguage NumberOfDaysInMonthFn "number of days in the month") Weather.kif 664-664
(format EnglishLanguage NumberOfDaysInMonthFn "Number of days in month %1 and year %2") Weather.kif 665-665

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
(=>
    (and
        (instance ?I NonnegativeInteger)
        (equal ?I
            (NumberOfDaysInMonthFn ?M ?Y))
        (not
            (equal ?M February))
        (instance ?Y ?YEAR)
        (instance ?MONTH
            (MonthFn ?M ?YEAR)))
    (duration ?MONTH
        (MeasureFn ?I DayDuration)))		 Weather.kif 670-680 If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, Z is an instance of W, and V is an instance of the month Y, then duration of V is X day duration(s)
(=>
    (and
        (instance ?I NonnegativeInteger)
        (equal ?I
            (NumberOfDaysInMonthFn ?M ?Y))
        (equal ?M February)
        (instance ?LP LeapYear)
        (not
            (equal ?Y ?LP)))
    (equal ?I 28))		 Weather.kif 682-691 If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, W is an instance of leap year, and equal Z and W, then equal X and 28
(=>
    (and
        (instance ?I NonnegativeInteger)
        (equal ?I
            (NumberOfDaysInMonthFn ?M ?Y))
        (equal ?M February)
        (instance ?LP LeapYear)
        (equal ?Y ?LP))
    (equal ?I 29))		 Weather.kif 693-701 If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, W is an instance of leap year, and equal Z and W, then equal X and 29


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