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

Formal Language: 



KB Term:  Term intersection
English Word: 

  February

Sigma KEE - February
February(February)
Feb, 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 8962-8962
(externalImage February "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4872-4872
(subclass February Month) Merge.kif 8960-8960 February is a subclass of month
(successorClass February March) Merge.kif 8923-8923 %2 is the successorClass of %2.

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


(successorClass January February) Merge.kif 8922-8922 %2 is the successorClass of %2.
(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 8971-8976
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 8964-8969
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8978-8982
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8954-8958

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


(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2758-2758 The day 14 is a date established of agency for the prohibition of nuclear weapons in latin america and the caribbean
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2792-2792 The day 18 is a date established of arab bank for economic development in africa
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2798-2798 The day 16 is a date established of arab cooperation council
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2822-2822 The day 17 is a date established of arab maghreb union
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2881-2881 The day 3 is a date established of benelux economic union
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3176-3176 The day 7 is a date established of european monetary union
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3234-3234 The day 7 is a date established of european union
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3417-3417 The day 17 is a date established of international committee of the red cross
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3431-3431 The day 3 is a date established of international court of justice
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3573-3573 The month February is a date established of international organization for standardization
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3670-3670 The day 1 is a date established of nuclear energy agency
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3775-3775 The day 6 is a date established of pacific community
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4074-4074 The day 1 is a date established of united nations mission of observers in prevlaka
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1670-1670 Winter season is equal to the recurring period from December to February


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