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

Formal Language: 



KB Term:  Term intersection
English Word: 

  May

Sigma KEE - May
May

appearance as argument number 1
-------------------------


(documentation May ChineseLanguage "这是所有五月 MonthClass。") chinese_format.kif 2799-2799
(documentation May EnglishLanguage "The Class of all Months which are May.") Merge.kif 9116-9116
(documentation May JapaneseLanguage "5月のすべての MonthClass。") japanese_format.kif 1540-1540
(externalImage May "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4930-4930
(subclass May Month) Merge.kif 9114-9114
(successorClass May June) Merge.kif 9028-9028

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


(successorClass April May) Merge.kif 9027-9027
(termFormat ChineseLanguage May "五月") chinese_format.kif 1281-1281
(termFormat EnglishLanguage May "May") english_format.kif 1779-1779
(termFormat FrenchLanguage May "Mai") french_format.kif 959-959
(termFormat Hindi May "maI") terms-hindi.txt 494-494
(termFormat ItalianLanguage May "Maggio") terms-it.txt 498-498
(termFormat JapaneseLanguage May "5月") japanese_format.kif 2643-2643
(termFormat PortugueseLanguage May "Maio") portuguese_format.kif 911-911
(termFormat cb May "mayo") terms-cb.txt 500-500
(termFormat cz May "may") terms-cz.txt 534-534
(termFormat ro May "mai") relations-ro.kif 980-980
(termFormat tg May "Mayo") terms-tg.txt 499-499

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9108-9112
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9122-9126
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9118-9120

consequent
-------------------------


(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))
Media.kif 498-506

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


(dateEstablished AndeanCommunityOfNations
    (DayFn 26
        (MonthFn May
            (YearFn 1969))))
Government.kif 2796-2796
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2824-2824
(dateEstablished ColomboPlan
    (MonthFn May
        (YearFn 1950)))
Government.kif 2972-2972
(dateEstablished CouncilOfEurope
    (DayFn 5
        (MonthFn May
            (YearFn 1949))))
Government.kif 3025-3025
(dateEstablished CouncilOfTheEntente
    (DayFn 29
        (MonthFn May
            (YearFn 1959))))
Government.kif 3045-3045
(dateEstablished EconomicCommunityOfWestAfricanStates
    (DayFn 28
        (MonthFn May
            (YearFn 1975))))
Government.kif 3140-3140
(dateEstablished EuropeanSpaceAgency
    (DayFn 31
        (MonthFn May
            (YearFn 1975))))
Government.kif 3247-3247
(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3291-3291
(dateEstablished GulfCooperationCouncil
    (DayFn 25
        (MonthFn May
            (YearFn 1981))))
Government.kif 3367-3367
(dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia
    (DayFn 25
        (MonthFn May
            (YearFn 1993))))
Government.kif 4207-4207
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3508-3508
(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3514-3514
(dateEstablished InternationalTelecommunicationUnion
    (DayFn 17
        (MonthFn May
            (YearFn 1865))))
Government.kif 3610-3610
(dateEstablished OrganizationOfAfricanUnity
    (DayFn 25
        (MonthFn May
            (YearFn 1963))))
Government.kif 3735-3735
(dateEstablished UnitedNationsDisengagementObserverForce
    (DayFn 31
        (MonthFn May
            (YearFn 1974))))
Government.kif 3916-3916
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4284-4284
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1664-1664


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