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

Formal Language: 



KB Term:  Term intersection
English Word: 

  June

Sigma KEE - June
June(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 9176-9176
(documentation June JapaneseLanguage "6月のすべての MonthClass。") japanese_format.kif 1541-1541
(externalImage June "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4917-4917
(subclass June Month) Merge.kif 9174-9174 June is a subclass of month
(successorClass June July) Merge.kif 9075-9075 July is the successor class of June.

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


(successorClass May June) Merge.kif 9074-9074 June is the successor class of May.
(termFormat ChineseLanguage June "六月") chinese_format.kif 1282-1282 June is the successor class of May.
(termFormat EnglishLanguage June "June") english_format.kif 1781-1781 June is the successor class of May.
(termFormat FrenchLanguage June "Juin") french_format.kif 960-960 June is the successor class of May.
(termFormat Hindi June "jUna") terms-hindi.txt 495-495 June is the successor class of May.
(termFormat ItalianLanguage June "Giugno") terms-it.txt 499-499 June is the successor class of May.
(termFormat JapaneseLanguage June "6月") japanese_format.kif 2644-2644 June is the successor class of May.
(termFormat cb June "hunyo") terms-cb.txt 501-501 June is the successor class of May.
(termFormat cz June "june") terms-cz.txt 535-535 June is the successor class of May.
(termFormat ro June "iunie") relations-ro.kif 981-981 June is the successor class of May.
(termFormat tg June "Hunyo") terms-tg.txt 500-500 June is the successor class of May.

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9182-9186
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9168-9172
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9178-9180

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


(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))
Geography.kif 3181-3181 ?D is an instance of the day 23 is an agreement effective date of antarctic treaty
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2712-2712 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 2763-2763 The day 23 is a date established of antarctic treaty council
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2883-2883 The day 25 is a date established of black sea economic cooperation zone
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 2976-2976 The day 3 is a date established of council of arab economic unity
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 3022-3022 The day 6 is a date established of east african development bank
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3028-3028 The day 26 is a date established of economic and social council
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3297-3297 The day 22 is a date established of group of11
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3323-3323 The day 15 is a date established of group of77
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3440-3440 The day 13 is a date established of international criminal police organization
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3497-3497 The month June is a date established of international hydrographic organization
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3504-3504 The day 28 is a date established of international labor organization
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3537-3537 The day 23 is a date established of international olympic committee
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3733-3733 The day 18 is a date established of organization of eastern caribbean states
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3834-3834 The day 26 is a date established of united nations
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3902-3902 The day 26 is a date established of united nations general assembly
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 4002-4002 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 4131-4131 The day 26 is a date established of united nations secretariat
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4142-4142 The day 26 is a date established of united nations security council
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4206-4206 The month June is a date established of united nations truce supervision organization
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4219-4219 The day 26 is a date established of united nations trusteeship council
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4288-4288 The day 19 is a date established of world confederation of labor
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1653-1653 Summer season is equal to the recurring period from June to August
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2501-2504 Serbia is an instance of european nation and a time position is an instance of the day 5 holds during after the time position
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2496-2499 Serbia is an instance of independent state and a time position is an instance of the day 5 holds during after the time position

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