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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - February
February(2月)

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 2月subclass では
(successorClass February March) Merge.kif 9123-9123 successorClass 2月 and 3月

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


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

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 dateEstablished AgencyForTheProhibitionOfNuclearWeaponsInLatinAmericaAndTheCaribbean and 14 day
(dateEstablished ArabBankForEconomicDevelopmentInAfrica
    (DayFn 18
        (MonthFn February
            (YearFn 1974))))
Government.kif 2773-2773 dateEstablished ArabBankForEconomicDevelopmentInAfrica and 18 day
(dateEstablished ArabCooperationCouncil
    (DayFn 16
        (MonthFn February
            (YearFn 1989))))
Government.kif 2779-2779 dateEstablished ArabCooperationCouncil and 16 day
(dateEstablished ArabMaghrebUnion
    (DayFn 17
        (MonthFn February
            (YearFn 1989))))
Government.kif 2803-2803 dateEstablished ArabMaghrebUnion and 17 day
(dateEstablished BeneluxEconomicUnion
    (DayFn 3
        (MonthFn February
            (YearFn 1958))))
Government.kif 2862-2862 dateEstablished BeneluxEconomicUnion and 3 day
(dateEstablished EuropeanMonetaryUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3157-3157 dateEstablished EuropeanMonetaryUnion and 7 day
(dateEstablished EuropeanUnion
    (DayFn 7
        (MonthFn February
            (YearFn 1992))))
Government.kif 3215-3215 dateEstablished EuropeanUnion and 7 day
(dateEstablished InternationalCommitteeOfTheRedCross
    (DayFn 17
        (MonthFn February
            (YearFn 1863))))
Government.kif 3398-3398 dateEstablished InternationalCommitteeOfTheRedCross and 17 day
(dateEstablished InternationalCourtOfJustice
    (DayFn 3
        (MonthFn February
            (YearFn 1946))))
Government.kif 3412-3412 dateEstablished InternationalCourtOfJustice and 3 day
(dateEstablished InternationalOrganizationForStandardization
    (MonthFn February
        (YearFn 1947)))
Government.kif 3554-3554 dateEstablished InternationalOrganizationForStandardization and 2月 month
(dateEstablished NuclearEnergyAgency
    (DayFn 1
        (MonthFn February
            (YearFn 1958))))
Government.kif 3651-3651 dateEstablished NuclearEnergyAgency and 1 day
(dateEstablished PacificCommunity
    (DayFn 6
        (MonthFn February
            (YearFn 1947))))
Government.kif 3756-3756 dateEstablished PacificCommunity and 6 day
(dateEstablished UnitedNationsMissionOfObserversInPrevlaka
    (DayFn 1
        (MonthFn February
            (YearFn 1996))))
Government.kif 4055-4055 dateEstablished UnitedNationsMissionOfObserversInPrevlaka and 1 day
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1655-1655 WinterSeason は the recurring period from 12月 to 2月equal では


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