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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeapYear
LeapYear(leap year)
366_days, bissextile_year, intercalary_year, leap_year

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 9033-9035
(documentation LeapYear JapaneseLanguage "すべてのうるう年の Class 。これらは、(i.)100 ではなく4で均等に割り切れる年か、または(ii.)400によって均等に割り切れる(この後者の場合はうるう 世紀として知られている)。") japanese_format.kif 1530-1532
(externalImage LeapYear "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Gregoriancalendarleap.png") pictureList.kif 7181-7181
(subclass LeapYear Year) Merge.kif 9031-9031 Leap year is a subclass of year

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


(termFormat ChineseLanguage LeapYear "闰年") chinese_format.kif 1275-1275
(termFormat EnglishLanguage LeapYear "leap year") english_format.kif 1767-1767
(termFormat FrenchLanguage LeapYear "ann�e bissextile") french_format.kif 953-953
(termFormat Hindi LeapYear "adhivarsha") terms-hindi.txt 488-488
(termFormat ItalianLanguage LeapYear "AnnoBisestile") terms-it.txt 492-492
(termFormat JapaneseLanguage LeapYear "うるう年") japanese_format.kif 2637-2637
(termFormat PortugueseLanguage LeapYear "Ano Bissexto") portuguese_format.kif 905-905
(termFormat cz LeapYear "leap year") terms-cz.txt 528-528
(termFormat ro LeapYear "an bisect") relations-ro.kif 974-974
(termFormat tg LeapYear "taong bisyesto") terms-tg.txt 493-493

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 9037-9045
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 9109-9114
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9102-9107


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