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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LeapYear

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 externalImage 闰年 and "http://upload.wikimedia.org/wikipedia/commons/8/89/ Gregoriancalendarleap.png"
(subclass LeapYear Year) Merge.kif 9021-9021 闰年subclass

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


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

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

Show without tree


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