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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - May
May(5月)

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 9214-9214
(documentation May JapaneseLanguage "5月のすべての MonthClass。") japanese_format.kif 1540-1540
(externalImage May "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4929-4929
(subclass May Month) Merge.kif 9212-9212 5月subclass では
(successorClass May June) Merge.kif 9126-9126 successorClass 5月 and 6月

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn April ?YEAR))
        (instance ?MONTH2
            (MonthFn May ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9206-9210
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9220-9224
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9216-9218

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 2757-2757 dateEstablished AndeanCommunityOfNations and 26 day
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2785-2785 dateEstablished ArabFundForEconomicAndSocialDevelopment and 16 day
(dateEstablished ColomboPlan
    (MonthFn May
        (YearFn 1950)))
Government.kif 2933-2933 dateEstablished ColomboPlan and 5月 month
(dateEstablished CouncilOfEurope
    (DayFn 5
        (MonthFn May
            (YearFn 1949))))
Government.kif 2986-2986 dateEstablished CouncilOfEurope and 5 day
(dateEstablished CouncilOfTheEntente
    (DayFn 29
        (MonthFn May
            (YearFn 1959))))
Government.kif 3006-3006 dateEstablished CouncilOfTheEntente and 29 day
(dateEstablished EconomicCommunityOfWestAfricanStates
    (DayFn 28
        (MonthFn May
            (YearFn 1975))))
Government.kif 3101-3101 dateEstablished EconomicCommunityOfWestAfricanStates and 28 day
(dateEstablished EuropeanSpaceAgency
    (DayFn 31
        (MonthFn May
            (YearFn 1975))))
Government.kif 3208-3208 dateEstablished EuropeanSpaceAgency and 31 day
(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3252-3252 dateEstablished GroupOf6 and 22 day
(dateEstablished GulfCooperationCouncil
    (DayFn 25
        (MonthFn May
            (YearFn 1981))))
Government.kif 3328-3328 dateEstablished GulfCooperationCouncil and 25 day
(dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia
    (DayFn 25
        (MonthFn May
            (YearFn 1993))))
Government.kif 4168-4168 dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia and 25 day
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3469-3469 dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties and 5 day
(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3475-3475 dateEstablished InternationalFinanceCorporation and 25 day
(dateEstablished InternationalTelecommunicationUnion
    (DayFn 17
        (MonthFn May
            (YearFn 1865))))
Government.kif 3571-3571 dateEstablished InternationalTelecommunicationUnion and 17 day
(dateEstablished OrganizationOfAfricanUnity
    (DayFn 25
        (MonthFn May
            (YearFn 1963))))
Government.kif 3696-3696 dateEstablished OrganizationOfAfricanUnity and 25 day
(dateEstablished UnitedNationsDisengagementObserverForce
    (DayFn 31
        (MonthFn May
            (YearFn 1974))))
Government.kif 3877-3877 dateEstablished UnitedNationsDisengagementObserverForce and 31 day
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4245-4245 dateEstablished WarsawPact and 14 day
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1652-1652 SpringSeason は the recurring period from 3月 to 5月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