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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - December
December(十二月)

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


(documentation December ChineseLanguage "这是所有十二月 MonthClass。") chinese_format.kif 2806-2806
(documentation December EnglishLanguage "The Class of all Months which are December.") Merge.kif 9119-9119
(externalImage December "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4870-4870
(subclass December Month) Merge.kif 9117-9117 十二月subclass

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


(successorClass November December) Merge.kif 8938-8938 successorClass 十一月 and 十二月
(termFormat ChineseLanguage December "十二月") chinese_format.kif 1288-1288
(termFormat EnglishLanguage December "December") english_format.kif 1793-1793

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


(=>
    (and
        (instance ?MONTH1
            (MonthFn December ?YEAR1))
        (instance ?MONTH2
            (MonthFn January ?YEAR2))
        (instance ?Y1 ?YEAR1)
        (instance ?Y2 ?YEAR2)
        (meetsTemporally ?Y1 ?Y2))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9125-9132
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9111-9115
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9121-9123

consequent
-------------------------


(=>
    (and
        (instance ?H Hanukkah)
        (equal ?B
            (BeginFn ?H)))
    (exists (?M)
        (and
            (temporalPart ?B ?M)
            (instance ?M Month)
            (or
                (instance ?M November)
                (instance ?M December)))))
Media.kif 587-597

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3114-3114 1 Day南极条约agreement 采用日期
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2855-2855 19 Day亚洲开发银行 的成立 date
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))
Government.kif 2935-2935 3 Day中非国家开发银行 的成立 date
(dateEstablished CentralAmericanBankForEconomicIntegration
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2942-2942 13 Day中美洲经济一体化银行 的成立 date
(dateEstablished CentralAmericanCommonMarket
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2949-2949 13 Day中美洲共同市场 的成立 date
(dateEstablished CommonwealthOfIndependentStates
    (DayFn 8
        (MonthFn December
            (YearFn 1991))))
Government.kif 2979-2979 8 Day独立国家联合体 的成立 date
(dateEstablished CommonwealthOfNations
    (DayFn 31
        (MonthFn December
            (YearFn 1931))))
Government.kif 2972-2972 31 Day国家联合体 的成立 date
(dateEstablished IndianOceanCommission
    (DayFn 21
        (MonthFn December
            (YearFn 1982))))
Government.kif 3368-3368 21 Day印度洋委员会 的成立 date
(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3421-3421 7 Day国际民航组织 的成立 date
(dateEstablished InternationalConfederationOfFreeTradeUnions
    (MonthFn December
        (YearFn 1949)))
Government.kif 3435-3435 十二月 month国际自由工会联合会 的成立 date
(dateEstablished IslamicDevelopmentBank
    (DayFn 15
        (MonthFn December
            (YearFn 1973))))
Government.kif 3615-3615 15 Day伊斯兰开发银行 的成立 date
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica
    (DayFn 8
        (MonthFn December
            (YearFn 1864))))
Government.kif 3642-3642 8 Day中非货币和经济共同体 的成立 date
(dateEstablished NordicInvestmentBank
    (DayFn 4
        (MonthFn December
            (YearFn 1975))))
Government.kif 3667-3667 4 Day北欧投资银行 的成立 date
(dateEstablished OrganizationForEconomicCooperationAndDevelopment
    (DayFn 14
        (MonthFn December
            (YearFn 1960))))
Government.kif 3697-3697 14 Day经济合作与发展组织 的成立 date
(dateEstablished SouthAsianAssociationForRegionalCooperation
    (DayFn 8
        (MonthFn December
            (YearFn 1985))))
Government.kif 3826-3826 8 Day南亚区域合作协会 的成立 date
(dateEstablished SouthernAfricanCustomsUnion
    (DayFn 11
        (MonthFn December
            (YearFn 1969))))
Government.kif 3840-3840 11 Day南部非洲关税同盟 的成立 date
(dateEstablished UnitedNationsChildrensFund
    (DayFn 11
        (MonthFn December
            (YearFn 1946))))
Government.kif 3882-3882 11 Day联合国儿童基金会 的成立 date
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment
    (DayFn 30
        (MonthFn December
            (YearFn 1964))))
Government.kif 3894-3894 30 Day联合国贸易与发展会议 的成立 date
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))
Government.kif 3926-3926 15 Day联合国环境计划 的成立 date
(dateEstablished UnitedNationsHighCommissionerForRefugees
    (DayFn 3
        (MonthFn December
            (YearFn 1949))))
Government.kif 4012-4012 3 Day联合国难民署 的成立 date
(dateEstablished UnitedNationsInstituteForTrainingAndResearch
    (DayFn 11
        (MonthFn December
            (YearFn 1963))))
Government.kif 4026-4026 11 Day联合国训练研究所 的成立 date
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina
    (DayFn 21
        (MonthFn December
            (YearFn 1995))))
Government.kif 4065-4065 21 Day联合国在波黑和黑塞哥维那的使命 的成立 date
(dateEstablished UnitedNationsMissionOfObserversInTajikistan
    (DayFn 16
        (MonthFn December
            (YearFn 1994))))
Government.kif 4092-4092 16 Day联合国塔吉克斯坦观察员代表团 的成立 date
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
    (DayFn 8
        (MonthFn December
            (YearFn 1949))))
Government.kif 4142-4142 8 Day联合国近东巴勒斯坦难民救济和工作机构 的成立 date
(dateEstablished UnitedNationsUniversity
    (DayFn 3
        (MonthFn December
            (YearFn 1973))))
Government.kif 4255-4255 3 Day联合国大学 的成立 date

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