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。") 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 February and Month
(successorClass February March) Merge.kif 8929-8929 successorClass February and March

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


(successorClass January February) Merge.kif 8928-8928 successorClass January and February
(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 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and DayFn 14 and MonthFn February and YearFn 1967
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2804-2804 dateEstablished ArabBankForEconomicDevelopmentInAfrica and DayFn 18 and MonthFn February and YearFn 1974
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2810-2810 dateEstablished ArabCooperationCouncil and DayFn 16 and MonthFn February and YearFn 1989
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2834-2834 dateEstablished ArabMaghrebUnion and DayFn 17 and MonthFn February and YearFn 1989
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2893-2893 dateEstablished BeneluxEconomicUnion and DayFn 3 and MonthFn February and YearFn 1958
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3188-3188 dateEstablished EuropeanMonetaryUnion and DayFn 7 and MonthFn February and YearFn 1992
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3246-3246 dateEstablished EuropeanUnion and DayFn 7 and MonthFn February and YearFn 1992
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3429-3429 dateEstablished InternationalCommitteeOfTheRedCross and DayFn 17 and MonthFn February and YearFn 1863
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3443-3443 dateEstablished InternationalCourtOfJustice and DayFn 3 and MonthFn February and YearFn 1946
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3585-3585 dateEstablished InternationalOrganizationForStandardization and MonthFn February and YearFn 1947
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3682-3682 dateEstablished NuclearEnergyAgency and DayFn 1 and MonthFn February and YearFn 1958
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3787-3787 dateEstablished PacificCommunity and DayFn 6 and MonthFn February and YearFn 1947
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4086-4086 dateEstablished UnitedNationsMissionOfObserversInPrevlaka and DayFn 1 and MonthFn February and YearFn 1996
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1670-1670 equal WinterSeason and RecurrentTimeIntervalFn December and 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