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

Formal Language: 



KB Term:  Term intersection
English Word: 

  June

Sigma KEE - June
June(六月)

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


(documentation June ChineseLanguage "这是所有六月 MonthClass。") Merge.kif 9153-9153
(documentation June EnglishLanguage "The Class of all Months which are June.") Merge.kif 9152-9152
(externalImage June "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4919-4919 externalImage 六月 and "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg"
(subclass June Month) Merge.kif 9151-9151 六月subclass
(successorClass June July) Merge.kif 9052-9052 successorClass 六月 and 七月

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


(successorClass May June) Merge.kif 9051-9051 successorClass 五月 and 六月
(termFormat ChineseLanguage June "六月") chinese_format.kif 1282-1282 termFormat ChineseLanguage, 六月 and "六月"
(termFormat EnglishLanguage June "June") english_format.kif 1927-1927 termFormat EnglishLanguage, 六月 and "June"
(termFormat JapaneseLanguage June "6月") english_format.kif 1928-1928 termFormat JapaneseLanguage, 六月 and "6月"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9159-9163
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9145-9149
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9155-9157

statement
-------------------------


(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3039-3039 agreementEffectiveDate AntarcticTreaty and 23 day
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2697-2697 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and 6 day
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2738-2738 dateEstablished AntarcticTreatyCouncil and 23 day
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2858-2858 dateEstablished BlackSeaEconomicCooperationZone and 25 day
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 2951-2951 dateEstablished CouncilOfArabEconomicUnity and 3 day
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 2997-2997 dateEstablished EastAfricanDevelopmentBank and 6 day
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3003-3003 dateEstablished EconomicAndSocialCouncil and 26 day
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3272-3272 dateEstablished GroupOf11 and 22 day
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3298-3298 dateEstablished GroupOf77 and 15 day
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3415-3415 dateEstablished InternationalCriminalPoliceOrganization and 13 day
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3472-3472 dateEstablished InternationalHydrographicOrganization and 六月 month
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3479-3479 dateEstablished InternationalLaborOrganization and 28 day
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3512-3512 dateEstablished InternationalOlympicCommittee and 23 day
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3708-3708 dateEstablished OrganizationOfEasternCaribbeanStates and 18 day
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3809-3809 dateEstablished UnitedNations and 26 day
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3877-3877 dateEstablished UnitedNationsGeneralAssembly and 26 day
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 3977-3977 dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and 10 day
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4106-4106 dateEstablished UnitedNationsSecretariat and 26 day
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4117-4117 dateEstablished UnitedNationsSecurityCouncil and 26 day
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4181-4181 dateEstablished UnitedNationsTruceSupervisionOrganization and 六月 month
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4194-4194 dateEstablished UnitedNationsTrusteeshipCouncil and 26 day
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4263-4263 dateEstablished WorldConfederationOfLabor and 19 day
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1606-1606 SummerSeason equal六月八月再次发生所需的时间
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 MontenegroEuropeanNationinstance 在 3 day 之后 holdsDuring
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 MontenegroIndependentStateinstance 在 3 day 之后 holdsDuring

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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