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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - December
December(12月)

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 9313-9313
(documentation December JapaneseLanguage "12月のすべての MonthClass。") japanese_format.kif 1547-1547
(externalImage December "http://upload.wikimedia.org/wikipedia/en/a/ad/2activecalendar640x480.jpg") pictureList.kif 4868-4868
(subclass December Month) Merge.kif 9311-9311 12月subclass では

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


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

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 9319-9326
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9305-9309
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9315-9317

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 3004-3012

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


(agreementAdoptionDate AntarcticTreaty
    (DayFn 1
        (MonthFn December
            (YearFn 1959))))
Geography.kif 3180-3180 agreementAdoptionDate AntarcticTreaty and 1 day
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2824-2824 dateEstablished AsianDevelopmentBank and 19 day
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))
Government.kif 2904-2904 dateEstablished CentralAfricanStatesDevelopmentBank and 3 day
(dateEstablished CentralAmericanBankForEconomicIntegration
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2911-2911 dateEstablished CentralAmericanBankForEconomicIntegration and 13 day
(dateEstablished CentralAmericanCommonMarket
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2918-2918 dateEstablished CentralAmericanCommonMarket and 13 day
(dateEstablished CommonwealthOfIndependentStates
    (DayFn 8
        (MonthFn December
            (YearFn 1991))))
Government.kif 2948-2948 dateEstablished CommonwealthOfIndependentStates and 8 day
(dateEstablished CommonwealthOfNations
    (DayFn 31
        (MonthFn December
            (YearFn 1931))))
Government.kif 2941-2941 dateEstablished CommonwealthOfNations and 31 day
(dateEstablished IndianOceanCommission
    (DayFn 21
        (MonthFn December
            (YearFn 1982))))
Government.kif 3337-3337 dateEstablished IndianOceanCommission and 21 day
(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3390-3390 dateEstablished InternationalCivilAviationOrganization and 7 day
(dateEstablished InternationalConfederationOfFreeTradeUnions
    (MonthFn December
        (YearFn 1949)))
Government.kif 3404-3404 dateEstablished InternationalConfederationOfFreeTradeUnions and 12月 month
(dateEstablished IslamicDevelopmentBank
    (DayFn 15
        (MonthFn December
            (YearFn 1973))))
Government.kif 3584-3584 dateEstablished IslamicDevelopmentBank and 15 day
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica
    (DayFn 8
        (MonthFn December
            (YearFn 1864))))
Government.kif 3611-3611 dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and 8 day
(dateEstablished NordicInvestmentBank
    (DayFn 4
        (MonthFn December
            (YearFn 1975))))
Government.kif 3636-3636 dateEstablished NordicInvestmentBank and 4 day
(dateEstablished OrganizationForEconomicCooperationAndDevelopment
    (DayFn 14
        (MonthFn December
            (YearFn 1960))))
Government.kif 3666-3666 dateEstablished OrganizationForEconomicCooperationAndDevelopment and 14 day
(dateEstablished SouthAsianAssociationForRegionalCooperation
    (DayFn 8
        (MonthFn December
            (YearFn 1985))))
Government.kif 3795-3795 dateEstablished SouthAsianAssociationForRegionalCooperation and 8 day
(dateEstablished SouthernAfricanCustomsUnion
    (DayFn 11
        (MonthFn December
            (YearFn 1969))))
Government.kif 3809-3809 dateEstablished SouthernAfricanCustomsUnion and 11 day
(dateEstablished UnitedNationsChildrensFund
    (DayFn 11
        (MonthFn December
            (YearFn 1946))))
Government.kif 3851-3851 dateEstablished UnitedNationsChildrensFund and 11 day
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment
    (DayFn 30
        (MonthFn December
            (YearFn 1964))))
Government.kif 3863-3863 dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and 30 day
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))
Government.kif 3895-3895 dateEstablished UnitedNationsEnvironmentProgram and 15 day
(dateEstablished UnitedNationsHighCommissionerForRefugees
    (DayFn 3
        (MonthFn December
            (YearFn 1949))))
Government.kif 3981-3981 dateEstablished UnitedNationsHighCommissionerForRefugees and 3 day
(dateEstablished UnitedNationsInstituteForTrainingAndResearch
    (DayFn 11
        (MonthFn December
            (YearFn 1963))))
Government.kif 3995-3995 dateEstablished UnitedNationsInstituteForTrainingAndResearch and 11 day
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina
    (DayFn 21
        (MonthFn December
            (YearFn 1995))))
Government.kif 4034-4034 dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and 21 day
(dateEstablished UnitedNationsMissionOfObserversInTajikistan
    (DayFn 16
        (MonthFn December
            (YearFn 1994))))
Government.kif 4061-4061 dateEstablished UnitedNationsMissionOfObserversInTajikistan and 16 day
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
    (DayFn 8
        (MonthFn December
            (YearFn 1949))))
Government.kif 4111-4111 dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and 8 day
(dateEstablished UnitedNationsUniversity
    (DayFn 3
        (MonthFn December
            (YearFn 1973))))
Government.kif 4224-4224 dateEstablished UnitedNationsUniversity and 3 day

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