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整除的(后者是为世纪闰年)。") chinese_format.kif 2791-2792
(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 8896-8898
(externalImage LeapYear "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Gregoriancalendarleap.png") pictureList.kif 7182-7182
(subclass LeapYear Year) Merge.kif 8894-8894

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


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

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 8900-8908
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 8971-8976
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8964-8969


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 3.0 is open source software produced by Articulate Software and its partners