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 9014-9014
(externalImage May "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4931-4931
(subclass May Month) Merge.kif 9012-9012 subclass May and Month
(successorClass May June) Merge.kif 8926-8926 successorClass May and June

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


(successorClass April May) Merge.kif 8925-8925 successorClass April and May
(termFormat ChineseLanguage May "五月") chinese_format.kif 1281-1281
(termFormat EnglishLanguage May "May") english_format.kif 1779-1779

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9006-9010
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9020-9024
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9016-9018

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 2788-2788 dateEstablished AndeanCommunityOfNations and DayFn 26 and MonthFn May and YearFn 1969
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2816-2816 dateEstablished ArabFundForEconomicAndSocialDevelopment and DayFn 16 and MonthFn May and YearFn 1968
(dateEstablished ColomboPlan
    (MonthFn May
        (YearFn 1950)))
Government.kif 2964-2964 dateEstablished ColomboPlan and MonthFn May and YearFn 1950
(dateEstablished CouncilOfEurope
    (DayFn 5
        (MonthFn May
            (YearFn 1949))))
Government.kif 3017-3017 dateEstablished CouncilOfEurope and DayFn 5 and MonthFn May and YearFn 1949
(dateEstablished CouncilOfTheEntente
    (DayFn 29
        (MonthFn May
            (YearFn 1959))))
Government.kif 3037-3037 dateEstablished CouncilOfTheEntente and DayFn 29 and MonthFn May and YearFn 1959
(dateEstablished EconomicCommunityOfWestAfricanStates
    (DayFn 28
        (MonthFn May
            (YearFn 1975))))
Government.kif 3132-3132 dateEstablished EconomicCommunityOfWestAfricanStates and DayFn 28 and MonthFn May and YearFn 1975
(dateEstablished EuropeanSpaceAgency
    (DayFn 31
        (MonthFn May
            (YearFn 1975))))
Government.kif 3239-3239 dateEstablished EuropeanSpaceAgency and DayFn 31 and MonthFn May and YearFn 1975
(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3283-3283 dateEstablished GroupOf6 and DayFn 22 and MonthFn May and YearFn 1985
(dateEstablished GulfCooperationCouncil
    (DayFn 25
        (MonthFn May
            (YearFn 1981))))
Government.kif 3359-3359 dateEstablished GulfCooperationCouncil and DayFn 25 and MonthFn May and YearFn 1981
(dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia
    (DayFn 25
        (MonthFn May
            (YearFn 1993))))
Government.kif 4199-4199 dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia and DayFn 25 and MonthFn May and YearFn 1993
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3500-3500 dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties and DayFn 5 and MonthFn May and YearFn 1919
(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3506-3506 dateEstablished InternationalFinanceCorporation and DayFn 25 and MonthFn May and YearFn 1955
(dateEstablished InternationalTelecommunicationUnion
    (DayFn 17
        (MonthFn May
            (YearFn 1865))))
Government.kif 3602-3602 dateEstablished InternationalTelecommunicationUnion and DayFn 17 and MonthFn May and YearFn 1865
(dateEstablished OrganizationOfAfricanUnity
    (DayFn 25
        (MonthFn May
            (YearFn 1963))))
Government.kif 3727-3727 dateEstablished OrganizationOfAfricanUnity and DayFn 25 and MonthFn May and YearFn 1963
(dateEstablished UnitedNationsDisengagementObserverForce
    (DayFn 31
        (MonthFn May
            (YearFn 1974))))
Government.kif 3908-3908 dateEstablished UnitedNationsDisengagementObserverForce and DayFn 31 and MonthFn May and YearFn 1974
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4276-4276 dateEstablished WarsawPact and DayFn 14 and MonthFn May and YearFn 1955
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1667-1667 equal SpringSeason and RecurrentTimeIntervalFn March and May


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