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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - June
June

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


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

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


(successorClass May June) Merge.kif 8313-8313 successorClass May and June
(termFormat ChineseLanguage June "六月") chinese_format.kif 1282-1282 termFormat ChineseLanguage, June and "六月"
(termFormat EnglishLanguage June "June") english_format.kif 1790-1790 termFormat EnglishLanguage, June and "June"

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8421-8425
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8407-8411
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 8417-8419

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


(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3052-3052 agreementEffectiveDate AntarcticTreaty and DayFn 23 and MonthFn June and YearFn 1961
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2691-2691 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and DayFn 6 and MonthFn June and YearFn 1975
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2732-2732 dateEstablished AntarcticTreatyCouncil and DayFn 23 and MonthFn June and YearFn 1961
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2852-2852 dateEstablished BlackSeaEconomicCooperationZone and DayFn 25 and MonthFn June and YearFn 1992
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 2945-2945 dateEstablished CouncilOfArabEconomicUnity and DayFn 3 and MonthFn June and YearFn 1957
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 2991-2991 dateEstablished EastAfricanDevelopmentBank and DayFn 6 and MonthFn June and YearFn 1967
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 2997-2997 dateEstablished EconomicAndSocialCouncil and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3266-3266 dateEstablished GroupOf11 and DayFn 22 and MonthFn June and YearFn 1984
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3292-3292 dateEstablished GroupOf77 and DayFn 15 and MonthFn June and YearFn 1964
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3409-3409 dateEstablished InternationalCriminalPoliceOrganization and DayFn 13 and MonthFn June and YearFn 1956
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3466-3466 dateEstablished InternationalHydrographicOrganization and MonthFn June and YearFn 1919
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3473-3473 dateEstablished InternationalLaborOrganization and DayFn 28 and MonthFn June and YearFn 1919
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3506-3506 dateEstablished InternationalOlympicCommittee and DayFn 23 and MonthFn June and YearFn 1894
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3702-3702 dateEstablished OrganizationOfEasternCaribbeanStates and DayFn 18 and MonthFn June and YearFn 1981
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3803-3803 dateEstablished UnitedNations and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3871-3871 dateEstablished UnitedNationsGeneralAssembly and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 3971-3971 dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and DayFn 10 and MonthFn June and YearFn 1999
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4100-4100 dateEstablished UnitedNationsSecretariat and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4111-4111 dateEstablished UnitedNationsSecurityCouncil and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4175-4175 dateEstablished UnitedNationsTruceSupervisionOrganization and MonthFn June and YearFn 1948
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4188-4188 dateEstablished UnitedNationsTrusteeshipCouncil and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4257-4257 dateEstablished WorldConfederationOfLabor and DayFn 19 and MonthFn June and YearFn 1920
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1618-1618 equal SummerSeason and RecurrentTimeIntervalFn June and August
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro EuropeanNation))
Media.kif 2507-2508 holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance Montenegro and EuropeanNation
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (instance Montenegro IndependentState))
Media.kif 2505-2506 holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance Montenegro and IndependentState

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