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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - May
May

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


(documentation May ChineseLanguage "这是所有五月 MonthClass。") Merge.kif 9139-9139
(documentation May EnglishLanguage "The Class of all Months which are May.") Merge.kif 9138-9138
(externalImage May "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4931-4931
(subclass May Month) Merge.kif 9137-9137
(successorClass May June) Merge.kif 9051-9051

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


(successorClass April May) Merge.kif 9050-9050
(termFormat ChineseLanguage May "五月") chinese_format.kif 1281-1281
(termFormat EnglishLanguage May "May") english_format.kif 1924-1924
(termFormat JapaneseLanguage May "5月") english_format.kif 1925-1925

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9131-9135
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9145-9149
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9141-9143

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 2733-2733
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2761-2761
(dateEstablished ColomboPlan
    (MonthFn May
        (YearFn 1950)))
Government.kif 2909-2909
(dateEstablished CouncilOfEurope
    (DayFn 5
        (MonthFn May
            (YearFn 1949))))
Government.kif 2962-2962
(dateEstablished CouncilOfTheEntente
    (DayFn 29
        (MonthFn May
            (YearFn 1959))))
Government.kif 2982-2982
(dateEstablished EconomicCommunityOfWestAfricanStates
    (DayFn 28
        (MonthFn May
            (YearFn 1975))))
Government.kif 3077-3077
(dateEstablished EuropeanSpaceAgency
    (DayFn 31
        (MonthFn May
            (YearFn 1975))))
Government.kif 3184-3184
(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3228-3228
(dateEstablished GulfCooperationCouncil
    (DayFn 25
        (MonthFn May
            (YearFn 1981))))
Government.kif 3304-3304
(dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia
    (DayFn 25
        (MonthFn May
            (YearFn 1993))))
Government.kif 4144-4144
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3445-3445
(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3451-3451
(dateEstablished InternationalTelecommunicationUnion
    (DayFn 17
        (MonthFn May
            (YearFn 1865))))
Government.kif 3547-3547
(dateEstablished OrganizationOfAfricanUnity
    (DayFn 25
        (MonthFn May
            (YearFn 1963))))
Government.kif 3672-3672
(dateEstablished UnitedNationsDisengagementObserverForce
    (DayFn 31
        (MonthFn May
            (YearFn 1974))))
Government.kif 3853-3853
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4221-4221
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1605-1605


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners