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

Formal Language: 



KB Term:  Term intersection
English Word: 

  December

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

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


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

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 8663-8670
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 8649-8653
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 8659-8661

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 3051-3051 agreementAdoptionDate AntarcticTreaty and DayFn 1 and MonthFn December and YearFn 1959
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2794-2794 dateEstablished AsianDevelopmentBank and DayFn 19 and MonthFn December and YearFn 1966
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))
Government.kif 2874-2874 dateEstablished CentralAfricanStatesDevelopmentBank and DayFn 3 and MonthFn December and YearFn 1975
(dateEstablished CentralAmericanBankForEconomicIntegration
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2881-2881 dateEstablished CentralAmericanBankForEconomicIntegration and DayFn 13 and MonthFn December and YearFn 1960
(dateEstablished CentralAmericanCommonMarket
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2888-2888 dateEstablished CentralAmericanCommonMarket and DayFn 13 and MonthFn December and YearFn 1960
(dateEstablished CommonwealthOfIndependentStates
    (DayFn 8
        (MonthFn December
            (YearFn 1991))))
Government.kif 2918-2918 dateEstablished CommonwealthOfIndependentStates and DayFn 8 and MonthFn December and YearFn 1991
(dateEstablished CommonwealthOfNations
    (DayFn 31
        (MonthFn December
            (YearFn 1931))))
Government.kif 2911-2911 dateEstablished CommonwealthOfNations and DayFn 31 and MonthFn December and YearFn 1931
(dateEstablished IndianOceanCommission
    (DayFn 21
        (MonthFn December
            (YearFn 1982))))
Government.kif 3307-3307 dateEstablished IndianOceanCommission and DayFn 21 and MonthFn December and YearFn 1982
(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3360-3360 dateEstablished InternationalCivilAviationOrganization and DayFn 7 and MonthFn December and YearFn 1944
(dateEstablished InternationalConfederationOfFreeTradeUnions
    (MonthFn December
        (YearFn 1949)))
Government.kif 3374-3374 dateEstablished InternationalConfederationOfFreeTradeUnions and MonthFn December and YearFn 1949
(dateEstablished IslamicDevelopmentBank
    (DayFn 15
        (MonthFn December
            (YearFn 1973))))
Government.kif 3554-3554 dateEstablished IslamicDevelopmentBank and DayFn 15 and MonthFn December and YearFn 1973
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica
    (DayFn 8
        (MonthFn December
            (YearFn 1864))))
Government.kif 3581-3581 dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and DayFn 8 and MonthFn December and YearFn 1864
(dateEstablished NordicInvestmentBank
    (DayFn 4
        (MonthFn December
            (YearFn 1975))))
Government.kif 3606-3606 dateEstablished NordicInvestmentBank and DayFn 4 and MonthFn December and YearFn 1975
(dateEstablished OrganizationForEconomicCooperationAndDevelopment
    (DayFn 14
        (MonthFn December
            (YearFn 1960))))
Government.kif 3636-3636 dateEstablished OrganizationForEconomicCooperationAndDevelopment and DayFn 14 and MonthFn December and YearFn 1960
(dateEstablished SouthAsianAssociationForRegionalCooperation
    (DayFn 8
        (MonthFn December
            (YearFn 1985))))
Government.kif 3765-3765 dateEstablished SouthAsianAssociationForRegionalCooperation and DayFn 8 and MonthFn December and YearFn 1985
(dateEstablished SouthernAfricanCustomsUnion
    (DayFn 11
        (MonthFn December
            (YearFn 1969))))
Government.kif 3779-3779 dateEstablished SouthernAfricanCustomsUnion and DayFn 11 and MonthFn December and YearFn 1969
(dateEstablished UnitedNationsChildrensFund
    (DayFn 11
        (MonthFn December
            (YearFn 1946))))
Government.kif 3821-3821 dateEstablished UnitedNationsChildrensFund and DayFn 11 and MonthFn December and YearFn 1946
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment
    (DayFn 30
        (MonthFn December
            (YearFn 1964))))
Government.kif 3833-3833 dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and DayFn 30 and MonthFn December and YearFn 1964
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))
Government.kif 3865-3865 dateEstablished UnitedNationsEnvironmentProgram and DayFn 15 and MonthFn December and YearFn 1972
(dateEstablished UnitedNationsHighCommissionerForRefugees
    (DayFn 3
        (MonthFn December
            (YearFn 1949))))
Government.kif 3951-3951 dateEstablished UnitedNationsHighCommissionerForRefugees and DayFn 3 and MonthFn December and YearFn 1949
(dateEstablished UnitedNationsInstituteForTrainingAndResearch
    (DayFn 11
        (MonthFn December
            (YearFn 1963))))
Government.kif 3965-3965 dateEstablished UnitedNationsInstituteForTrainingAndResearch and DayFn 11 and MonthFn December and YearFn 1963
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina
    (DayFn 21
        (MonthFn December
            (YearFn 1995))))
Government.kif 4004-4004 dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and DayFn 21 and MonthFn December and YearFn 1995
(dateEstablished UnitedNationsMissionOfObserversInTajikistan
    (DayFn 16
        (MonthFn December
            (YearFn 1994))))
Government.kif 4031-4031 dateEstablished UnitedNationsMissionOfObserversInTajikistan and DayFn 16 and MonthFn December and YearFn 1994
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
    (DayFn 8
        (MonthFn December
            (YearFn 1949))))
Government.kif 4081-4081 dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and DayFn 8 and MonthFn December and YearFn 1949
(dateEstablished UnitedNationsUniversity
    (DayFn 3
        (MonthFn December
            (YearFn 1973))))
Government.kif 4194-4194 dateEstablished UnitedNationsUniversity and DayFn 3 and MonthFn December and YearFn 1973

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