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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - June
June(6月)

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 9172-9172
(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 9170-9170 6月subclass では %n
(successorClass June July) Merge.kif 9071-9071 successorClass 6月 and 7月

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


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

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


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

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


(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))
Geography.kif 3181-3181 agreementEffectiveDate AntarcticTreaty and ?D は 23 day 目 の instance では %n
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2712-2712 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and 6 day
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2763-2763 dateEstablished AntarcticTreatyCouncil and 23 day
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2883-2883 dateEstablished BlackSeaEconomicCooperationZone and 25 day
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 2976-2976 dateEstablished CouncilOfArabEconomicUnity and 3 day
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 3022-3022 dateEstablished EastAfricanDevelopmentBank and 6 day
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3028-3028 dateEstablished EconomicAndSocialCouncil and 26 day
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3297-3297 dateEstablished GroupOf11 and 22 day
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3323-3323 dateEstablished GroupOf77 and 15 day
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3440-3440 dateEstablished InternationalCriminalPoliceOrganization and 13 day
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3497-3497 dateEstablished InternationalHydrographicOrganization and 6月 month
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3504-3504 dateEstablished InternationalLaborOrganization and 28 day
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3537-3537 dateEstablished InternationalOlympicCommittee and 23 day
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3733-3733 dateEstablished OrganizationOfEasternCaribbeanStates and 18 day
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3834-3834 dateEstablished UnitedNations and 26 day
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3902-3902 dateEstablished UnitedNationsGeneralAssembly and 26 day
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 4002-4002 dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and 10 day
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4131-4131 dateEstablished UnitedNationsSecretariat and 26 day
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4142-4142 dateEstablished UnitedNationsSecurityCouncil and 26 day
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4206-4206 dateEstablished UnitedNationsTruceSupervisionOrganization and 6月 month
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4219-4219 dateEstablished UnitedNationsTrusteeshipCouncil and 26 day
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4288-4288 dateEstablished WorldConfederationOfLabor and 19 day
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1653-1653 SummerSeason は the recurring period from 6月 to 8月equal では %n
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2501-2504 SerbiaEuropeanNationinstance では %n 時間位置 は 5 day 目 の instance では %n は 時間位置afterduring holds %n{ない}
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2496-2499 SerbiaIndependentStateinstance では %n 時間位置 は 5 day 目 の instance では %n は 時間位置afterduring holds %n{ない}

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