Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeapYear
LeapYear

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


(documentation LeapYear ChineseLanguage "这是所有闰年的 Class。这些年份当中,要不是(i.)能被4 却不能被100整除的,或是 (ii.)能被400整除的(后者是为世纪闰年)。") Merge.kif 9025-9026
(documentation LeapYear EnglishLanguage "The Class of all leap years. These are years which are either (i.) evenly divisible by 4 and not by 100 or (ii.) evenly divisible by 400 (this latter case is known as a leap century).") Merge.kif 9022-9024
(externalImage LeapYear "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Gregoriancalendarleap.png") pictureList.kif 7183-7183
(subclass LeapYear Year) Merge.kif 9021-9021

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


(termFormat ChineseLanguage LeapYear "闰年") chinese_format.kif 1275-1275
(termFormat EnglishLanguage LeapYear "leap year") english_format.kif 962-962

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


(=>
    (and
        (instance ?LEAP LeapYear)
        (instance ?LEAP
            (YearFn ?NUMBER)))
    (or
        (and
            (equal
                (RemainderFn ?NUMBER 4) 0)
            (not
                (equal
                    (RemainderFn ?NUMBER 100) 0)))
        (equal
            (RemainderFn ?NUMBER 400) 0)))
Merge.kif 9028-9036
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 9096-9101
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9089-9094


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners