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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BathingDevice

Sigma KEE - February
February(Fevereiro)

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 9100-9100
(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 9098-9098 Fevereiro e' uma sub-classe de Mes
(successorClass February March) Merge.kif 9061-9061 successorClass Fevereiro and Marco

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


(successorClass January February) Merge.kif 9060-9060 successorClass Janeiro and Fevereiro
(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 9109-9114
(=>
    (and
        (instance ?MONTH
            (MonthFn February ?YEAR))
        (instance ?Y ?YEAR)
        (not
            (instance ?Y LeapYear)))
    (duration ?MONTH
        (MeasureFn 28 DayDuration)))
Merge.kif 9102-9107
(=>
    (and
        (instance ?MONTH1
            (MonthFn February ?YEAR))
        (instance ?MONTH2
            (MonthFn March ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9116-9120
(=>
    (and
        (instance ?MONTH1
            (MonthFn January ?YEAR))
        (instance ?MONTH2
            (MonthFn February ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9092-9096

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


(dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean
    (DayFn 14
        (MonthFn February
            (YearFn 1967))))
Government.kif 2742-2742 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and o dia 14
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2776-2776 dateEstablished ArabBankForEconomicDevelopmentInAfrica and o dia 18
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2782-2782 dateEstablished ArabCooperationCouncil and o dia 16
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2806-2806 dateEstablished ArabMaghrebUnion and o dia 17
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2865-2865 dateEstablished BeneluxEconomicUnion and o dia 3
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3160-3160 dateEstablished EuropeanMonetaryUnion and o dia 7
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3218-3218 dateEstablished EuropeanUnion and o dia 7
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3401-3401 dateEstablished InternationalCommitteeOfTheRedCross and o dia 17
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3415-3415 dateEstablished InternationalCourtOfJustice and o dia 3
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3557-3557 dateEstablished InternationalOrganizationForStandardization and o mes Fevereiro
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3654-3654 dateEstablished NuclearEnergyAgency and o dia 1
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3759-3759 dateEstablished PacificCommunity and o dia 6
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4058-4058 dateEstablished UnitedNationsMissionOfObserversInPrevlaka and o dia 1
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1667-1667 WinterSeason e' igual a o periodo recorrente de Dezembro a Fevereiro


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