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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - June
June(June)
6月, 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 "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg" is a URL depicting June
(subclass June Month) Merge.kif 9151-9151 June is a subclass of month
(successorClass June July) Merge.kif 9052-9052 successorClass June and July

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


(successorClass May June) Merge.kif 9051-9051 successorClass May and June
(termFormat ChineseLanguage June "六月") chinese_format.kif 1282-1282 "六月" is the printable form of June in ChineseLanguage
(termFormat EnglishLanguage June "June") english_format.kif 1927-1927 "June" is the printable form of June in english language
(termFormat JapaneseLanguage June "6月") english_format.kif 1928-1928 "6月" is the printable form of June in japanese language

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 The day 23 is an agreement effective date of antarctic treaty
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2697-2697 The day 6 is a date established of african caribbean and pacific group of states
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2738-2738 The day 23 is a date established of antarctic treaty council
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2858-2858 The day 25 is a date established of black sea economic cooperation zone
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 2951-2951 The day 3 is a date established of council of arab economic unity
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 2997-2997 The day 6 is a date established of east african development bank
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3003-3003 The day 26 is a date established of economic and social council
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3272-3272 The day 22 is a date established of group of11
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3298-3298 The day 15 is a date established of group of77
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3415-3415 The day 13 is a date established of international criminal police organization
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3472-3472 The month June is a date established of international hydrographic organization
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3479-3479 The day 28 is a date established of international labor organization
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3512-3512 The day 23 is a date established of international olympic committee
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3708-3708 The day 18 is a date established of organization of eastern caribbean states
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3809-3809 The day 26 is a date established of united nations
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3877-3877 The day 26 is a date established of united nations general assembly
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 3977-3977 The day 10 is a date established of united nations interim adminstration mission in kosovo
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4106-4106 The day 26 is a date established of united nations secretariat
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4117-4117 The day 26 is a date established of united nations security council
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4181-4181 The month June is a date established of united nations truce supervision organization
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4194-4194 The day 26 is a date established of united nations trusteeship council
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4263-4263 The day 19 is a date established of world confederation of labor
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1606-1606 Summer season is equal to the recurring period from June to August
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 Montenegro is an instance of european nation holds during after the day 3
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 Montenegro is an instance of independent state holds during after the day 3

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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