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

Formal Language: 



KB Term:  Term intersection
English Word: 

  February

Sigma KEE - February
February(二月)

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


(documentation February ChineseLanguage "这是所有二月 MonthClass。") Merge.kif 9087-9087
(documentation February EnglishLanguage "The Class of all Months which are February.") Merge.kif 9086-9086
(externalImage February "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4872-4872 externalImage 二月 and "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg"
(subclass February Month) Merge.kif 9085-9085 二月subclass
(successorClass February March) Merge.kif 9048-9048 successorClass 二月 and 三月

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


(successorClass January February) Merge.kif 9047-9047 successorClass 一月 and 二月
(termFormat ChineseLanguage February "二月") chinese_format.kif 1278-1278 termFormat ChineseLanguage, 二月 and "二月"
(termFormat EnglishLanguage February "February") english_format.kif 1915-1915 termFormat EnglishLanguage, 二月 and "February"
(termFormat JapaneseLanguage February "2月") english_format.kif 1916-1916 termFormat JapaneseLanguage, 二月 and "2月"

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


(=>
    (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
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9103-9107
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9079-9083

statement
-------------------------


(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2720-2720 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and 14 day
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2749-2749 dateEstablished ArabBankForEconomicDevelopmentInAfrica and 18 day
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2755-2755 dateEstablished ArabCooperationCouncil and 16 day
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2779-2779 dateEstablished ArabMaghrebUnion and 17 day
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2838-2838 dateEstablished BeneluxEconomicUnion and 3 day
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3133-3133 dateEstablished EuropeanMonetaryUnion and 7 day
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3191-3191 dateEstablished EuropeanUnion and 7 day
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3374-3374 dateEstablished InternationalCommitteeOfTheRedCross and 17 day
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3530-3530 dateEstablished InternationalOrganizationForStandardization and 二月 month
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3627-3627 dateEstablished NuclearEnergyAgency and 1 day
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3732-3732 dateEstablished PacificCommunity and 6 day
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4031-4031 dateEstablished UnitedNationsMissionOfObserversInPrevlaka and 1 day
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1608-1608 WinterSeason equal十二月二月再次发生所需的时间


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