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

Formal Language: 



KB Term:  Term intersection
English Word: 

  February

Sigma KEE - February
February(Febbraio)

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 9064-9064
(documentation February JapaneseLanguage "2月のすべての MonthClass。") japanese_format.kif 1537-1537
(externalImage February "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4871-4871
(subclass February Month) Merge.kif 9062-9062 Febbraio è una sottoclasse di Mese
(successorClass February March) Merge.kif 9025-9025 successorClass Febbraio and Marzo

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


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

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


(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (instance ?Y LeapYear))
    (duration ?MONTH
        (MeasureFn 29 DayDuration)))
Merge.kif 9073-9078
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9066-9071
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9080-9084
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9056-9060

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


(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2778-2778 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and il giorno 14
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2812-2812 dateEstablished ArabBankForEconomicDevelopmentInAfrica and il giorno 18
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2818-2818 dateEstablished ArabCooperationCouncil and il giorno 16
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2842-2842 dateEstablished ArabMaghrebUnion and il giorno 17
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2901-2901 dateEstablished BeneluxEconomicUnion and il giorno 3
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3196-3196 dateEstablished EuropeanMonetaryUnion and il giorno 7
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3254-3254 dateEstablished EuropeanUnion and il giorno 7
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3437-3437 dateEstablished InternationalCommitteeOfTheRedCross and il giorno 17
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3451-3451 dateEstablished InternationalCourtOfJustice and il giorno 3
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3593-3593 dateEstablished InternationalOrganizationForStandardization and il mese Febbraio
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3690-3690 dateEstablished NuclearEnergyAgency and il giorno 1
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3795-3795 dateEstablished PacificCommunity and il giorno 6
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4094-4094 dateEstablished UnitedNationsMissionOfObserversInPrevlaka and il giorno 1
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1667-1667 WinterSeason is uguale a il periodo ricorrente da Dicembre a Febbraio


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