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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 9162-9162
(documentation February JapaneseLanguage "2月のすべての MonthClass。") japanese_format.kif 1537-1537
(externalImage February "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4870-4870
(subclass February Month) Merge.kif 9160-9160 February is a subclass of month
(successorClass February March) Merge.kif 9123-9123 March is the successor class of February.

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


(successorClass January February) Merge.kif 9122-9122 February is the successor class of January.
(termFormat ChineseLanguage February "二月") chinese_format.kif 1278-1278 February is the successor class of January.
(termFormat EnglishLanguage February "February") english_format.kif 1773-1773 February is the successor class of January.
(termFormat FrenchLanguage February "F�vrier") french_format.kif 956-956 February is the successor class of January.
(termFormat Hindi February "pharavarI") terms-hindi.txt 491-491 February is the successor class of January.
(termFormat ItalianLanguage February "Febbraio") terms-it.txt 495-495 February is the successor class of January.
(termFormat JapaneseLanguage February "2月") japanese_format.kif 2640-2640 February is the successor class of January.
(termFormat PortugueseLanguage February "Fevereiro") portuguese_format.kif 908-908 February is the successor class of January.
(termFormat cb February "pebrero") terms-cb.txt 497-497 February is the successor class of January.
(termFormat cz February "february") terms-cz.txt 531-531 February is the successor class of January.
(termFormat de February "Februar") terms-de.txt 790-790 February is the successor class of January.
(termFormat ro February "februarie") relations-ro.kif 977-977 February is the successor class of January.
(termFormat tg February "Pebrero") terms-tg.txt 496-496 February is the successor class of January.

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 9171-9176
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9164-9169
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9178-9182
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9154-9158

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


(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2739-2739 The day 14 of month the month February 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 2773-2773 The day 18 of month the month February is a date established of arab bank for economic development in africa
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2779-2779 The day 16 of month the month February is a date established of arab cooperation council
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2803-2803 The day 17 of month the month February is a date established of arab maghreb union
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2862-2862 The day 3 of month the month February is a date established of benelux economic union
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3157-3157 The day 7 of month the month February is a date established of european monetary union
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3215-3215 The day 7 of month the month February is a date established of european union
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3398-3398 The day 17 of month the month February is a date established of international committee of the red cross
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3412-3412 The day 3 of month the month February is a date established of international court of justice
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3554-3554 The month February is a date established of international organization for standardization
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3651-3651 The day 1 of month the month February is a date established of nuclear energy agency
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3756-3756 The day 6 of month the month February is a date established of pacific community
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4055-4055 The day 1 of month the month February is a date established of united nations mission of observers in prevlaka
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1655-1655 Winter season is equal to the recurring period from December to February


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