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 9251-9251
(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 9249-9249 December ist eine teilkategorie von Month

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


(successorClass November December) Merge.kif 9070-9070 successorClass November and December
(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 9257-9264
(=>
    (and
        (instance ?MONTH1
            (MonthFn November ?YEAR))
        (instance ?MONTH2
            (MonthFn December ?YEAR)))
    (meetsTemporally ?MONTH1 ?MONTH2))
Merge.kif 9243-9247
(=>
    (instance ?MONTH December)
    (duration ?MONTH
        (MeasureFn 31 DayDuration)))
Merge.kif 9253-9255

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 der tag 1
(dateEstablished AsianDevelopmentBank
    (DayFn 19
        (MonthFn December
            (YearFn 1966))))
Government.kif 2827-2827 dateEstablished AsianDevelopmentBank and der tag 19
(dateEstablished CentralAfricanStatesDevelopmentBank
    (DayFn 3
        (MonthFn December
            (YearFn 1975))))
Government.kif 2907-2907 dateEstablished CentralAfricanStatesDevelopmentBank and der tag 3
(dateEstablished CentralAmericanBankForEconomicIntegration
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2914-2914 dateEstablished CentralAmericanBankForEconomicIntegration and der tag 13
(dateEstablished CentralAmericanCommonMarket
    (DayFn 13
        (MonthFn December
            (YearFn 1960))))
Government.kif 2921-2921 dateEstablished CentralAmericanCommonMarket and der tag 13
(dateEstablished CommonwealthOfIndependentStates
    (DayFn 8
        (MonthFn December
            (YearFn 1991))))
Government.kif 2951-2951 dateEstablished CommonwealthOfIndependentStates and der tag 8
(dateEstablished CommonwealthOfNations
    (DayFn 31
        (MonthFn December
            (YearFn 1931))))
Government.kif 2944-2944 dateEstablished CommonwealthOfNations and der tag 31
(dateEstablished IndianOceanCommission
    (DayFn 21
        (MonthFn December
            (YearFn 1982))))
Government.kif 3340-3340 dateEstablished IndianOceanCommission and der tag 21
(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3393-3393 dateEstablished InternationalCivilAviationOrganization and der tag 7
(dateEstablished InternationalConfederationOfFreeTradeUnions
    (MonthFn December
        (YearFn 1949)))
Government.kif 3407-3407 dateEstablished InternationalConfederationOfFreeTradeUnions and der monat December
(dateEstablished IslamicDevelopmentBank
    (DayFn 15
        (MonthFn December
            (YearFn 1973))))
Government.kif 3587-3587 dateEstablished IslamicDevelopmentBank and der tag 15
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica
    (DayFn 8
        (MonthFn December
            (YearFn 1864))))
Government.kif 3614-3614 dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica and der tag 8
(dateEstablished NordicInvestmentBank
    (DayFn 4
        (MonthFn December
            (YearFn 1975))))
Government.kif 3639-3639 dateEstablished NordicInvestmentBank and der tag 4
(dateEstablished OrganizationForEconomicCooperationAndDevelopment
    (DayFn 14
        (MonthFn December
            (YearFn 1960))))
Government.kif 3669-3669 dateEstablished OrganizationForEconomicCooperationAndDevelopment and der tag 14
(dateEstablished SouthAsianAssociationForRegionalCooperation
    (DayFn 8
        (MonthFn December
            (YearFn 1985))))
Government.kif 3798-3798 dateEstablished SouthAsianAssociationForRegionalCooperation and der tag 8
(dateEstablished SouthernAfricanCustomsUnion
    (DayFn 11
        (MonthFn December
            (YearFn 1969))))
Government.kif 3812-3812 dateEstablished SouthernAfricanCustomsUnion and der tag 11
(dateEstablished UnitedNationsChildrensFund
    (DayFn 11
        (MonthFn December
            (YearFn 1946))))
Government.kif 3854-3854 dateEstablished UnitedNationsChildrensFund and der tag 11
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment
    (DayFn 30
        (MonthFn December
            (YearFn 1964))))
Government.kif 3866-3866 dateEstablished UnitedNationsConferenceOnTradeAndDevelopment and der tag 30
(dateEstablished UnitedNationsEnvironmentProgram
    (DayFn 15
        (MonthFn December
            (YearFn 1972))))
Government.kif 3898-3898 dateEstablished UnitedNationsEnvironmentProgram and der tag 15
(dateEstablished UnitedNationsHighCommissionerForRefugees
    (DayFn 3
        (MonthFn December
            (YearFn 1949))))
Government.kif 3984-3984 dateEstablished UnitedNationsHighCommissionerForRefugees and der tag 3
(dateEstablished UnitedNationsInstituteForTrainingAndResearch
    (DayFn 11
        (MonthFn December
            (YearFn 1963))))
Government.kif 3998-3998 dateEstablished UnitedNationsInstituteForTrainingAndResearch and der tag 11
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina
    (DayFn 21
        (MonthFn December
            (YearFn 1995))))
Government.kif 4037-4037 dateEstablished UnitedNationsMissionInBosniaAndHerzegovina and der tag 21
(dateEstablished UnitedNationsMissionOfObserversInTajikistan
    (DayFn 16
        (MonthFn December
            (YearFn 1994))))
Government.kif 4064-4064 dateEstablished UnitedNationsMissionOfObserversInTajikistan and der tag 16
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast
    (DayFn 8
        (MonthFn December
            (YearFn 1949))))
Government.kif 4114-4114 dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast and der tag 8
(dateEstablished UnitedNationsUniversity
    (DayFn 3
        (MonthFn December
            (YearFn 1973))))
Government.kif 4227-4227 dateEstablished UnitedNationsUniversity and der tag 3

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