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

Formal Language: 



KB Term:  Term intersection
English Word: 

  December

Sigma KEE - December
December(Decembre)

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 9215-9215
(documentation December JapaneseLanguage "12月のすべての MonthClass。") japanese_format.kif 1547-1547
(externalImage December "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4869-4869
(subclass December Month) Merge.kif 9213-9213 Decembre est une sous-classe de mois

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


(successorClass November December) Merge.kif 9034-9034 successorClass Novembre and Decembre
(termFormat ChineseLanguage December "十二月") chinese_format.kif 1288-1288
(termFormat EnglishLanguage December "December") english_format.kif 1793-1793
(termFormat FrenchLanguage December "Decembre") french_format.kif 966-966
(termFormat Hindi December "disambara") terms-hindi.txt 501-501
(termFormat ItalianLanguage December "Dicembre") terms-it.txt 505-505
(termFormat JapaneseLanguage December "12月") japanese_format.kif 2650-2650
(termFormat PortugueseLanguage December "Dezembro") portuguese_format.kif 918-918
(termFormat cb December "decembre") terms-cb.txt 507-507
(termFormat cz December "december") terms-cz.txt 541-541
(termFormat ro December "decembrie") relations-ro.kif 987-987
(termFormat tg December "Disyembre") terms-tg.txt 506-506

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 9221-9228
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9207-9211
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9217-9219

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
(=>
    (holdsDuring ?T
        (and
            (instance ?D DeltaCovidVariant)
            (part ?D ?H)
            (attribute ?H Covid19)))
    (greaterThan ?T
        (MonthFn December
            (YearFn 2020))))
Medicine.kif 3003-3011

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3192-3192 agreementAdoptionDate AntarcticTreaty and le jour 1
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2863-2863 dateEstablished AsianDevelopmentBank and le jour 19
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))
Government.kif 2943-2943 dateEstablished CentralAfricanStatesDevelopmentBank and le jour 3
(dateEstablished CentralAmericanBankForEconomicIntegration
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2950-2950 dateEstablished CentralAmericanBankForEconomicIntegration and le jour 13
(dateEstablished CentralAmericanCommonMarket
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2957-2957 dateEstablished CentralAmericanCommonMarket and le jour 13
(dateEstablished CommonwealthOfIndependentStates
    (DayFn 8
        (MonthFn December
            (YearFn 1991))))
Government.kif 2987-2987 dateEstablished CommonwealthOfIndependentStates and le jour 8
(dateEstablished CommonwealthOfNations
    (DayFn 31
        (MonthFn December
            (YearFn 1931))))
Government.kif 2980-2980 dateEstablished CommonwealthOfNations and le jour 31
(dateEstablished IndianOceanCommission
    (DayFn 21
        (MonthFn December
            (YearFn 1982))))
Government.kif 3376-3376 dateEstablished IndianOceanCommission and le jour 21
(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3429-3429 dateEstablished InternationalCivilAviationOrganization and le jour 7
(dateEstablished InternationalConfederationOfFreeTradeUnions
    (MonthFn December
        (YearFn 1949)))
Government.kif 3443-3443 dateEstablished InternationalConfederationOfFreeTradeUnions and le moi Decembre
(dateEstablished IslamicDevelopmentBank
    (DayFn 15
        (MonthFn December
            (YearFn 1973))))
Government.kif 3623-3623 dateEstablished IslamicDevelopmentBank and le jour 15
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica
    (DayFn 8
        (MonthFn December
            (YearFn 1864))))
Government.kif 3650-3650 dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and le jour 8
(dateEstablished NordicInvestmentBank
    (DayFn 4
        (MonthFn December
            (YearFn 1975))))
Government.kif 3675-3675 dateEstablished NordicInvestmentBank and le jour 4
(dateEstablished OrganizationForEconomicCooperationAndDevelopment
    (DayFn 14
        (MonthFn December
            (YearFn 1960))))
Government.kif 3705-3705 dateEstablished OrganizationForEconomicCooperationAndDevelopment and le jour 14
(dateEstablished SouthAsianAssociationForRegionalCooperation
    (DayFn 8
        (MonthFn December
            (YearFn 1985))))
Government.kif 3834-3834 dateEstablished SouthAsianAssociationForRegionalCooperation and le jour 8
(dateEstablished SouthernAfricanCustomsUnion
    (DayFn 11
        (MonthFn December
            (YearFn 1969))))
Government.kif 3848-3848 dateEstablished SouthernAfricanCustomsUnion and le jour 11
(dateEstablished UnitedNationsChildrensFund
    (DayFn 11
        (MonthFn December
            (YearFn 1946))))
Government.kif 3890-3890 dateEstablished UnitedNationsChildrensFund and le jour 11
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment
    (DayFn 30
        (MonthFn December
            (YearFn 1964))))
Government.kif 3902-3902 dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and le jour 30
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))
Government.kif 3934-3934 dateEstablished UnitedNationsEnvironmentProgram and le jour 15
(dateEstablished UnitedNationsHighCommissionerForRefugees
    (DayFn 3
        (MonthFn December
            (YearFn 1949))))
Government.kif 4020-4020 dateEstablished UnitedNationsHighCommissionerForRefugees and le jour 3
(dateEstablished UnitedNationsInstituteForTrainingAndResearch
    (DayFn 11
        (MonthFn December
            (YearFn 1963))))
Government.kif 4034-4034 dateEstablished UnitedNationsInstituteForTrainingAndResearch and le jour 11
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina
    (DayFn 21
        (MonthFn December
            (YearFn 1995))))
Government.kif 4073-4073 dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and le jour 21
(dateEstablished UnitedNationsMissionOfObserversInTajikistan
    (DayFn 16
        (MonthFn December
            (YearFn 1994))))
Government.kif 4100-4100 dateEstablished UnitedNationsMissionOfObserversInTajikistan and le jour 16
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
    (DayFn 8
        (MonthFn December
            (YearFn 1949))))
Government.kif 4150-4150 dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and le jour 8
(dateEstablished UnitedNationsUniversity
    (DayFn 3
        (MonthFn December
            (YearFn 1973))))
Government.kif 4263-4263 dateEstablished UnitedNationsUniversity and le jour 3

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