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 9124-9124
(externalImage December "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4870-4870
(subclass December Month) Merge.kif 9122-9122

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


(successorClass November December) Merge.kif 8943-8943
(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 9130-9137
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9116-9120
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9126-9128

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
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2855-2855
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))
Government.kif 2935-2935
(dateEstablished CentralAmericanBankForEconomicIntegration
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2942-2942
(dateEstablished CentralAmericanCommonMarket
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2949-2949
(dateEstablished CommonwealthOfIndependentStates
    (DayFn 8
        (MonthFn December
            (YearFn 1991))))
Government.kif 2979-2979
(dateEstablished CommonwealthOfNations
    (DayFn 31
        (MonthFn December
            (YearFn 1931))))
Government.kif 2972-2972
(dateEstablished IndianOceanCommission
    (DayFn 21
        (MonthFn December
            (YearFn 1982))))
Government.kif 3368-3368
(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3421-3421
(dateEstablished InternationalConfederationOfFreeTradeUnions
    (MonthFn December
        (YearFn 1949)))
Government.kif 3435-3435
(dateEstablished IslamicDevelopmentBank
    (DayFn 15
        (MonthFn December
            (YearFn 1973))))
Government.kif 3615-3615
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica
    (DayFn 8
        (MonthFn December
            (YearFn 1864))))
Government.kif 3642-3642
(dateEstablished NordicInvestmentBank
    (DayFn 4
        (MonthFn December
            (YearFn 1975))))
Government.kif 3667-3667
(dateEstablished OrganizationForEconomicCooperationAndDevelopment
    (DayFn 14
        (MonthFn December
            (YearFn 1960))))
Government.kif 3697-3697
(dateEstablished SouthAsianAssociationForRegionalCooperation
    (DayFn 8
        (MonthFn December
            (YearFn 1985))))
Government.kif 3826-3826
(dateEstablished SouthernAfricanCustomsUnion
    (DayFn 11
        (MonthFn December
            (YearFn 1969))))
Government.kif 3840-3840
(dateEstablished UnitedNationsChildrensFund
    (DayFn 11
        (MonthFn December
            (YearFn 1946))))
Government.kif 3882-3882
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment
    (DayFn 30
        (MonthFn December
            (YearFn 1964))))
Government.kif 3894-3894
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))
Government.kif 3926-3926
(dateEstablished UnitedNationsHighCommissionerForRefugees
    (DayFn 3
        (MonthFn December
            (YearFn 1949))))
Government.kif 4012-4012
(dateEstablished UnitedNationsInstituteForTrainingAndResearch
    (DayFn 11
        (MonthFn December
            (YearFn 1963))))
Government.kif 4026-4026
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina
    (DayFn 21
        (MonthFn December
            (YearFn 1995))))
Government.kif 4065-4065
(dateEstablished UnitedNationsMissionOfObserversInTajikistan
    (DayFn 16
        (MonthFn December
            (YearFn 1994))))
Government.kif 4092-4092
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
    (DayFn 8
        (MonthFn December
            (YearFn 1949))))
Government.kif 4142-4142
(dateEstablished UnitedNationsUniversity
    (DayFn 3
        (MonthFn December
            (YearFn 1973))))
Government.kif 4255-4255

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