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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - May
May(May)
5月, May, 五月

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


(documentation May ChineseLanguage "这是所有五月 MonthClass。") Merge.kif 12709-12709
(documentation May EnglishLanguage "The Class of all Months which are May.") Merge.kif 12707-12707
(documentation May JapaneseLanguage "5月のすべての MonthClass。") Merge.kif 12711-12711
(externalImage May "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4931-4931 "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg" is a URL depicting May
(subclass May Month) Merge.kif 12705-12705 May is a subclass of month
(successorClass May June) Merge.kif 12599-12599 successorClass May and June

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


(successorClass April May) Merge.kif 12598-12598 successorClass April and May
(termFormat ChineseLanguage May "五月") chinese_format.kif 1281-1281 "五月" is the printable form of May in ChineseLanguage
(termFormat EnglishLanguage May "May") english_format.kif 2556-2556 "May" is the printable form of May in english language
(termFormat JapaneseLanguage May "5月") english_format.kif 2557-2557 "5月" is the printable form of May in japanese language

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12699-12703
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 12717-12721
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 12713-12715

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 The day 26 is a date established of andean community of nations
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2761-2761 The day 16 is a date established of arab fund for economic and social development
(dateEstablished ColomboPlan
    (MonthFn May
        (YearFn 1950)))
Government.kif 2909-2909 The month May is a date established of colombo plan
(dateEstablished CouncilOfEurope
    (DayFn 5
        (MonthFn May
            (YearFn 1949))))
Government.kif 2962-2962 The day 5 is a date established of council of europe
(dateEstablished CouncilOfTheEntente
    (DayFn 29
        (MonthFn May
            (YearFn 1959))))
Government.kif 2982-2982 The day 29 is a date established of council of the entente
(dateEstablished EconomicCommunityOfWestAfricanStates
    (DayFn 28
        (MonthFn May
            (YearFn 1975))))
Government.kif 3077-3077 The day 28 is a date established of economic community of west african states
(dateEstablished EuropeanSpaceAgency
    (DayFn 31
        (MonthFn May
            (YearFn 1975))))
Government.kif 3184-3184 The day 31 is a date established of european space agency
(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3228-3228 The day 22 is a date established of group of6
(dateEstablished GulfCooperationCouncil
    (DayFn 25
        (MonthFn May
            (YearFn 1981))))
Government.kif 3304-3304 The day 25 is a date established of gulf cooperation council
(dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia
    (DayFn 25
        (MonthFn May
            (YearFn 1993))))
Government.kif 4144-4144 The day 25 is a date established of international criminal tribunal for the former yugoslavia
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3445-3445 The day 5 is a date established of international federation of red cross and red crescent societies
(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3451-3451 The day 25 is a date established of international finance corporation
(dateEstablished InternationalTelecommunicationUnion
    (DayFn 17
        (MonthFn May
            (YearFn 1865))))
Government.kif 3547-3547 The day 17 is a date established of international telecommunication union
(dateEstablished OrganizationOfAfricanUnity
    (DayFn 25
        (MonthFn May
            (YearFn 1963))))
Government.kif 3672-3672 The day 25 is a date established of organization of african unity
(dateEstablished UnitedNationsDisengagementObserverForce
    (DayFn 31
        (MonthFn May
            (YearFn 1974))))
Government.kif 3853-3853 The day 31 is a date established of united nations disengagement observer force
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4221-4221 The day 14 is a date established of warsaw pact
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1605-1605 Spring season is equal to the recurring period from March to May


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