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。") chinese_format.kif 2799-2799
(documentation May EnglishLanguage "The Class of all Months which are May.") Merge.kif 9020-9020
(externalImage May "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4931-4931
(subclass May Month) Merge.kif 9018-9018 五月subclass
(successorClass May June) Merge.kif 8932-8932 successorClass 五月 and 六月

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


(successorClass April May) Merge.kif 8931-8931 successorClass A四月 and 五月
(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 9012-9016
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9026-9030
(=>
    (instance ?MONTH May)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9022-9024

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 26 Day安第斯国际社会 的成立 date
(dateEstablished ArabFundForEconomicAndSocialDevelopment
    (DayFn 16
        (MonthFn May
            (YearFn 1968))))
Government.kif 2816-2816 16 Day阿拉伯经济和社会发展基金 的成立 date
(dateEstablished ColomboPlan
    (MonthFn May
        (YearFn 1950)))
Government.kif 2964-2964 五月 month科伦坡计划 的成立 date
(dateEstablished CouncilOfEurope
    (DayFn 5
        (MonthFn May
            (YearFn 1949))))
Government.kif 3017-3017 5 Day欧洲理事会 的成立 date
(dateEstablished CouncilOfTheEntente
    (DayFn 29
        (MonthFn May
            (YearFn 1959))))
Government.kif 3037-3037 29 Day协约理事会 的成立 date
(dateEstablished EconomicCommunityOfWestAfricanStates
    (DayFn 28
        (MonthFn May
            (YearFn 1975))))
Government.kif 3132-3132 28 Day西非国家的经济共同体 的成立 date
(dateEstablished EuropeanSpaceAgency
    (DayFn 31
        (MonthFn May
            (YearFn 1975))))
Government.kif 3239-3239 31 Day欧洲航太局 的成立 date
(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3283-3283 22 Day6人组 的成立 date
(dateEstablished GulfCooperationCouncil
    (DayFn 25
        (MonthFn May
            (YearFn 1981))))
Government.kif 3359-3359 25 Day海湾合作委员会 的成立 date
(dateEstablished InternationalCriminalTribunalForTheFormerYugoslavia
    (DayFn 25
        (MonthFn May
            (YearFn 1993))))
Government.kif 4199-4199 25 Day前南斯拉夫问题国际刑事法庭 的成立 date
(dateEstablished InternationalFederationOfRedCrossAndRedCrescentSocieties
    (DayFn 5
        (MonthFn May
            (YearFn 1919))))
Government.kif 3500-3500 5 Day国际红十字会和红新月会联合会 的成立 date
(dateEstablished InternationalFinanceCorporation
    (DayFn 25
        (MonthFn May
            (YearFn 1955))))
Government.kif 3506-3506 25 Day国际金融公司 的成立 date
(dateEstablished InternationalTelecommunicationUnion
    (DayFn 17
        (MonthFn May
            (YearFn 1865))))
Government.kif 3602-3602 17 Day国际电信联盟 的成立 date
(dateEstablished OrganizationOfAfricanUnity
    (DayFn 25
        (MonthFn May
            (YearFn 1963))))
Government.kif 3727-3727 25 Day非洲统一组织 的成立 date
(dateEstablished UnitedNationsDisengagementObserverForce
    (DayFn 31
        (MonthFn May
            (YearFn 1974))))
Government.kif 3908-3908 31 Day联合国脱离接触观察员部队 的成立 date
(dateEstablished WarsawPact
    (DayFn 14
        (MonthFn May
            (YearFn 1955))))
Government.kif 4276-4276 14 Day华沙协议 的成立 date
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1667-1667 春暖花开的季节 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