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。") chinese_format.kif 2800-2800
(documentation June EnglishLanguage "The Class of all Months which are June.") Merge.kif 9028-9028
(externalImage June "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4919-4919
(subclass June Month) Merge.kif 9026-9026 subclass June and Month
(successorClass June July) Merge.kif 8927-8927 successorClass June and July

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


(successorClass May June) Merge.kif 8926-8926 successorClass May and June
(termFormat ChineseLanguage June "六月") chinese_format.kif 1282-1282
(termFormat EnglishLanguage June "June") english_format.kif 1781-1781

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9034-9038
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9020-9024
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9030-9032

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


(agreementEffectiveDate AntarcticTreaty
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Geography.kif 3115-3115 agreementEffectiveDate AntarcticTreaty and DayFn 23 and MonthFn June and YearFn 1961
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2735-2735 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and DayFn 6 and MonthFn June and YearFn 1975
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2781-2781 dateEstablished AntarcticTreatyCouncil and DayFn 23 and MonthFn June and YearFn 1961
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2901-2901 dateEstablished BlackSeaEconomicCooperationZone and DayFn 25 and MonthFn June and YearFn 1992
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 2994-2994 dateEstablished CouncilOfArabEconomicUnity and DayFn 3 and MonthFn June and YearFn 1957
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 3040-3040 dateEstablished EastAfricanDevelopmentBank and DayFn 6 and MonthFn June and YearFn 1967
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3046-3046 dateEstablished EconomicAndSocialCouncil and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3315-3315 dateEstablished GroupOf11 and DayFn 22 and MonthFn June and YearFn 1984
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3341-3341 dateEstablished GroupOf77 and DayFn 15 and MonthFn June and YearFn 1964
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3458-3458 dateEstablished InternationalCriminalPoliceOrganization and DayFn 13 and MonthFn June and YearFn 1956
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3515-3515 dateEstablished InternationalHydrographicOrganization and MonthFn June and YearFn 1919
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3522-3522 dateEstablished InternationalLaborOrganization and DayFn 28 and MonthFn June and YearFn 1919
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3555-3555 dateEstablished InternationalOlympicCommittee and DayFn 23 and MonthFn June and YearFn 1894
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3751-3751 dateEstablished OrganizationOfEasternCaribbeanStates and DayFn 18 and MonthFn June and YearFn 1981
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3852-3852 dateEstablished UnitedNations and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3920-3920 dateEstablished UnitedNationsGeneralAssembly and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 4020-4020 dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and DayFn 10 and MonthFn June and YearFn 1999
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4149-4149 dateEstablished UnitedNationsSecretariat and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4160-4160 dateEstablished UnitedNationsSecurityCouncil and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4224-4224 dateEstablished UnitedNationsTruceSupervisionOrganization and MonthFn June and YearFn 1948
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4237-4237 dateEstablished UnitedNationsTrusteeshipCouncil and DayFn 26 and MonthFn June and YearFn 1945
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4306-4306 dateEstablished WorldConfederationOfLabor and DayFn 19 and MonthFn June and YearFn 1920
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1668-1668 equal SummerSeason and RecurrentTimeIntervalFn June and August
(holdsDuring
    (FutureFn
        (DayFn 3
            (MonthFn June
                (YearFn 2006))))
    (not
        (instance SerbiaAndMontenegro IndependentState)))
Media.kif 2537-2538 holdsDuring FutureFn DayFn 3 and MonthFn June and YearFn 2006 and instance SerbiaAndMontenegro and IndependentState
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2492-2495 holdsDuring FutureFn TimePosition and instance Serbia and EuropeanNation instance TimePosition and DayFn 5 and MonthFn June and YearFn 2006

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 3.0 is open source software produced by Articulate Software and its partners