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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - June
June(Juin)

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


(documentation June ChineseLanguage "这是所有六月 Month 的 Class。") chinese_format.kif 2800-2800
(documentation June EnglishLanguage "The Class of all Months which are June.") Merge.kif 9243-9243
(documentation June JapaneseLanguage "６月のすべての Month の Class。") 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 9241-9241 Juin est une sous-classe de mois
(successorClass June July) Merge.kif 9142-9142 successorClass Juin and Juillet

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9249-9253
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))		 Merge.kif 9235-9239
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))		 Merge.kif 9245-9247

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


(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))		 Geography.kif 3351-3351 agreementEffectiveDate AntarcticTreaty and ?D est une instance de le jour 23
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))		 Government.kif 2711-2711 dateEstablished AfricanCaribbeanAndPacificGroupOfStates and le jour 6
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))		 Government.kif 2762-2762 dateEstablished AntarcticTreatyCouncil and le jour 23
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))		 Government.kif 2882-2882 dateEstablished BlackSeaEconomicCooperationZone and le jour 25
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))		 Government.kif 2975-2975 dateEstablished CouncilOfArabEconomicUnity and le jour 3
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))		 Government.kif 3021-3021 dateEstablished EastAfricanDevelopmentBank and le jour 6
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))		 Government.kif 3027-3027 dateEstablished EconomicAndSocialCouncil and le jour 26
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))		 Government.kif 3296-3296 dateEstablished GroupOf11 and le jour 22
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))		 Government.kif 3322-3322 dateEstablished GroupOf77 and le jour 15
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))		 Government.kif 3439-3439 dateEstablished InternationalCriminalPoliceOrganization and le jour 13
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))		 Government.kif 3496-3496 dateEstablished InternationalHydrographicOrganization and le moi Juin
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))		 Government.kif 3503-3503 dateEstablished InternationalLaborOrganization and le jour 28
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))		 Government.kif 3536-3536 dateEstablished InternationalOlympicCommittee and le jour 23
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))		 Government.kif 3732-3732 dateEstablished OrganizationOfEasternCaribbeanStates and le jour 18
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))		 Government.kif 3833-3833 dateEstablished UnitedNations and le jour 26
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))		 Government.kif 3901-3901 dateEstablished UnitedNationsGeneralAssembly and le jour 26
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))		 Government.kif 4001-4001 dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo and le jour 10
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))		 Government.kif 4130-4130 dateEstablished UnitedNationsSecretariat and le jour 26
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))		 Government.kif 4141-4141 dateEstablished UnitedNationsSecurityCouncil and le jour 26
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))		 Government.kif 4205-4205 dateEstablished UnitedNationsTruceSupervisionOrganization and le moi Juin
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))		 Government.kif 4218-4218 dateEstablished UnitedNationsTrusteeshipCouncil and le jour 26
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))		 Government.kif 4287-4287 dateEstablished WorldConfederationOfLabor and le jour 19
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))		 Geography.kif 1823-1823 equal SummerSeason and le p�riode recurrente de Juin � Ao�t
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2503-2506 Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))		 Media.kif 2498-2501 Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel

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