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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - February
February(二月)

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


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

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


(successorClass January February) Merge.kif 8928-8928 successorClass 一月 and 二月
(termFormat ChineseLanguage February "二月") chinese_format.kif 1278-1278
(termFormat EnglishLanguage February "February") english_format.kif 1773-1773

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 8977-8982
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8970-8975
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8984-8988
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8960-8964

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


(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2770-2770 14 Day在拉丁美洲和加勒比地区禁止核武器的机构 的成立 date
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2804-2804 18 Day阿拉伯非洲经济发展银行 的成立 date
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2810-2810 16 Day阿拉伯合作理事会 的成立 date
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2834-2834 17 Day阿拉伯马格里布联盟 的成立 date
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2893-2893 3 Day比荷卢经济联盟 的成立 date
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3188-3188 7 Day欧洲货币联盟 的成立 date
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3246-3246 7 Day欧洲联盟 的成立 date
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3429-3429 17 Day红十字国际委员会 的成立 date
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3443-3443 3 Day国际法院 的成立 date
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3585-3585 二月 month国际标准化组织 的成立 date
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3682-3682 1 Day核能机构 的成立 date
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3787-3787 6 Day太平洋社区 的成立 date
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4086-4086 1 Day联合国普雷斯卡观察员代表团 的成立 date
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1670-1670 冬季 equal十二月二月再次发生所需的时间


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