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 8998-8999
(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 8995-8997
(externalImage LeapYear "http://upload.wikimedia.org/wikipedia/commons/8/ 89/ Gregoriancalendarleap.png") pictureList.kif 7183-7183
(subclass LeapYear Year) Merge.kif 8994-8994

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


(termFormat ChineseLanguage LeapYear "闰年") chinese_format.kif 1275-1275
(termFormat EnglishLanguage LeapYear "leap year") english_format.kif 962-962
(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 490-490
(termFormat PortugueseLanguage LeapYear "Ano Bissexto") portuguese_format.kif 905-905
(termFormat cz LeapYear "leap year") terms-cz.txt 528-528
(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 9001-9009
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 9041-9046
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9034-9039


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