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 9130-9130
(documentation June JapaneseLanguage "6月のすべての MonthClass。") japanese_format.kif 1541-1541
(externalImage June "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4918-4918
(subclass June Month) Merge.kif 9128-9128 六月subclass
(successorClass June July) Merge.kif 9029-9029 successorClass 六月 and 七月

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


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

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn June ?YEAR))
        (instance ?MONTH2
            (MonthFn July ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9136-9140
(=>
    (and
        (instance ?MONTH1
            (MonthFn May ?YEAR))
        (instance ?MONTH2
            (MonthFn June ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9122-9126
(=>
    (instance ?MONTH June)
    (duration ?MONTH
        (MeasureFn 30 DayDuration)))
Merge.kif 9132-9134

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


(agreementEffectiveDate AntarcticTreaty
    (instance ?D
        (DayFn 23
            (MonthFn June
                (YearFn 1961)))))
Geography.kif 3193-3193 ?D 是 23 Dayinstance南极条约agreement 生效日期
(dateEstablished AfricanCaribbeanAndPacificGroupOfStates
    (DayFn 6
        (MonthFn June
            (YearFn 1975))))
Government.kif 2750-2750 6 Day非洲加勒比和太平洋国家集团 的成立 date
(dateEstablished AntarcticTreatyCouncil
    (DayFn 23
        (MonthFn June
            (YearFn 1961))))
Government.kif 2801-2801 23 Day南极条约理事会 的成立 date
(dateEstablished BlackSeaEconomicCooperationZone
    (DayFn 25
        (MonthFn June
            (YearFn 1992))))
Government.kif 2921-2921 25 Day黑海经济合作区 的成立 date
(dateEstablished CouncilOfArabEconomicUnity
    (DayFn 3
        (MonthFn June
            (YearFn 1957))))
Government.kif 3014-3014 3 Day阿拉伯经济统一委员会 的成立 date
(dateEstablished EastAfricanDevelopmentBank
    (DayFn 6
        (MonthFn June
            (YearFn 1967))))
Government.kif 3060-3060 6 Day东非开发银行 的成立 date
(dateEstablished EconomicAndSocialCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3066-3066 26 Day经济和社会理事会 的成立 date
(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3335-3335 22 Day11人小组 的成立 date
(dateEstablished GroupOf77
    (DayFn 15
        (MonthFn June
            (YearFn 1964))))
Government.kif 3361-3361 15 Day77人小组 的成立 date
(dateEstablished InternationalCriminalPoliceOrganization
    (DayFn 13
        (MonthFn June
            (YearFn 1956))))
Government.kif 3478-3478 13 Day国际刑事警察组织 的成立 date
(dateEstablished InternationalHydrographicOrganization
    (MonthFn June
        (YearFn 1919)))
Government.kif 3535-3535 六月 month国际水文组织 的成立 date
(dateEstablished InternationalLaborOrganization
    (DayFn 28
        (MonthFn June
            (YearFn 1919))))
Government.kif 3542-3542 28 Day国际劳工组织 的成立 date
(dateEstablished InternationalOlympicCommittee
    (DayFn 23
        (MonthFn June
            (YearFn 1894))))
Government.kif 3575-3575 23 Day国际奥林匹克委员会 的成立 date
(dateEstablished OrganizationOfEasternCaribbeanStates
    (DayFn 18
        (MonthFn June
            (YearFn 1981))))
Government.kif 3771-3771 18 Day加勒比东部各州的组织 的成立 date
(dateEstablished UnitedNations
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3872-3872 26 Day联合国 的成立 date
(dateEstablished UnitedNationsGeneralAssembly
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 3940-3940 26 Day联合国大会 的成立 date
(dateEstablished UnitedNationsInterimAdminstrationMissionInKosovo
    (DayFn 10
        (MonthFn June
            (YearFn 1999))))
Government.kif 4040-4040 10 Day联合国在科索沃的临时行政当局 的成立 date
(dateEstablished UnitedNationsSecretariat
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4169-4169 26 Day联合国秘书处 的成立 date
(dateEstablished UnitedNationsSecurityCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4180-4180 26 Day联合国安理会 的成立 date
(dateEstablished UnitedNationsTruceSupervisionOrganization
    (MonthFn June
        (YearFn 1948)))
Government.kif 4244-4244 六月 month联合国停战监督组织 的成立 date
(dateEstablished UnitedNationsTrusteeshipCouncil
    (DayFn 26
        (MonthFn June
            (YearFn 1945))))
Government.kif 4257-4257 26 Day联合国托管理事会 的成立 date
(dateEstablished WorldConfederationOfLabor
    (DayFn 19
        (MonthFn June
            (YearFn 1920))))
Government.kif 4326-4326 19 Day世界劳工联合会 的成立 date
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1665-1665 夏季 equal六月八月再次发生所需的时间
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia EuropeanNation)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2501-2504 Serbia欧洲国家instance 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring
(holdsDuring
    (FutureFn ?T)
    (and
        (instance Serbia IndependentState)
        (instance ?T
            (DayFn 5
                (MonthFn June
                    (YearFn 2006))))))
Media.kif 2496-2499 Serbia独立国家instance 时间位置 是 5 dayinstance那个 时间位置 之后 holdsDuring

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