December - Sigma Knowledge base Browser

appearance as argument number 1

(documentation December ChineseLanguage "这是所有十二月 Month 的 Class。")	chinese_format.kif 2806-2806
(documentation December EnglishLanguage "The Class of all Months which are December.")	Merge.kif 9350-9350
(documentation December JapaneseLanguage "１２月のすべての Month の Class。")	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 9348-9348	December is a subclass of month

appearance as argument number 2

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

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 9356-9363	If a time interval is an instance of the month December and another time interval is an instance of the month January and a third time interval is an instance of a kind of year and a fourth time interval is an instance of another kind of year and the third time interval meets the fourth time interval, then the time interval meets the other time interval
(=> (and (instance ?MONTH1 (MonthFn November ?YEAR)) (instance ?MONTH2 (MonthFn December ?YEAR))) (meetsTemporally ?MONTH1 ?MONTH2))	Merge.kif 9342-9346	If a time interval is an instance of the month November and another time interval is an instance of the month December, then the time interval meets the other time interval
(=> (instance ?MONTH December) (duration ?MONTH (MeasureFn 31 DayDuration)))	Merge.kif 9352-9354	If a time interval is an instance of December, then duration of the time interval is 31 day duration(s)

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	If a time interval is an instance of hanukkah and equal a time point and the beginning of the time interval, then there exists a time position such that the time point is a part of the time position and the time position is an instance of month and the time position is an instance of November or the time position is an instance of December
(=> (and (previousMonthYear ?M1 ?Y1 ?M2 ?Y2) (instance ?Y2 (YearFn ?I)) (equal ?M2 (MonthFn January (YearFn ?I)))) (and (equal ?M1 December) (instance ?Y1 (YearFn (SubtractionFn ?I 1)))))	Weather.kif 778-789	If the previous month of a kind of month in year a year is another kind of month another year and the year is an instance of the year an integer and equal a kind of month and the month January, then equal another kind of month and December and the other year is an instance of the year (the integer and 1)
(=> (holdsDuring ?T (and (instance ?D DeltaCovidVariant) (part ?D ?H) (attribute ?H Covid19))) (greaterThan ?T (MonthFn December (YearFn 2020))))	Medicine.kif 3004-3012	If an entity is an instance of delta and the entity is a part of another entity and Covid is an attribute of the other entity holds during a real number, then the real number is greater than the month December

statement

(agreementAdoptionDate AntarcticTreaty (DayFn 1 (MonthFn December (YearFn 1959))))	Geography.kif 4660-4660	The day 1 of month the month December is an agreement adoption date of antarctic treaty
(dateEstablished AsianDevelopmentBank (DayFn 19 (MonthFn December (YearFn 1966))))	Government.kif 2824-2824	The day 19 of month the month December is a date established of asian development bank
(dateEstablished CentralAfricanStatesDevelopmentBank (DayFn 3 (MonthFn December (YearFn 1975))))	Government.kif 2904-2904	The day 3 of month the month December is a date established of central african states development bank
(dateEstablished CentralAmericanBankForEconomicIntegration (DayFn 13 (MonthFn December (YearFn 1960))))	Government.kif 2911-2911	The day 13 of month the month December is a date established of central american bank for economic integration
(dateEstablished CentralAmericanCommonMarket (DayFn 13 (MonthFn December (YearFn 1960))))	Government.kif 2918-2918	The day 13 of month the month December is a date established of central american common market
(dateEstablished CommonwealthOfIndependentStates (DayFn 8 (MonthFn December (YearFn 1991))))	Government.kif 2948-2948	The day 8 of month the month December is a date established of commonwealth of independent states
(dateEstablished CommonwealthOfNations (DayFn 31 (MonthFn December (YearFn 1931))))	Government.kif 2941-2941	The day 31 of month the month December is a date established of commonwealth of nations
(dateEstablished IndianOceanCommission (DayFn 21 (MonthFn December (YearFn 1982))))	Government.kif 3337-3337	The day 21 of month the month December is a date established of indian ocean commission
(dateEstablished InternationalCivilAviationOrganization (DayFn 7 (MonthFn December (YearFn 1944))))	Government.kif 3390-3390	The day 7 of month the month December is a date established of international civil aviation organization
(dateEstablished InternationalConfederationOfFreeTradeUnions (MonthFn December (YearFn 1949)))	Government.kif 3404-3404	The month December is a date established of international confederation of free trade unions
(dateEstablished IslamicDevelopmentBank (DayFn 15 (MonthFn December (YearFn 1973))))	Government.kif 3584-3584	The day 15 of month the month December is a date established of islamic development bank
(dateEstablished MonetaryAndEconomicCommunityOfCentralAfrica (DayFn 8 (MonthFn December (YearFn 1864))))	Government.kif 3611-3611	The day 8 of month the month December is a date established of monetary and economic community of central africa
(dateEstablished NordicInvestmentBank (DayFn 4 (MonthFn December (YearFn 1975))))	Government.kif 3636-3636	The day 4 of month the month December is a date established of nordic investment bank
(dateEstablished OrganizationForEconomicCooperationAndDevelopment (DayFn 14 (MonthFn December (YearFn 1960))))	Government.kif 3666-3666	The day 14 of month the month December is a date established of organization for economic cooperation and development
(dateEstablished SouthAsianAssociationForRegionalCooperation (DayFn 8 (MonthFn December (YearFn 1985))))	Government.kif 3795-3795	The day 8 of month the month December is a date established of south asian association for regional cooperation
(dateEstablished SouthernAfricanCustomsUnion (DayFn 11 (MonthFn December (YearFn 1969))))	Government.kif 3809-3809	The day 11 of month the month December is a date established of southern african customs union
(dateEstablished UnitedNationsChildrensFund (DayFn 11 (MonthFn December (YearFn 1946))))	Government.kif 3851-3851	The day 11 of month the month December is a date established of united nations childrens fund
(dateEstablished UnitedNationsConferenceOnTradeAndDevelopment (DayFn 30 (MonthFn December (YearFn 1964))))	Government.kif 3863-3863	The day 30 of month the month December is a date established of united nations conference on trade and development
(dateEstablished UnitedNationsEnvironmentProgram (DayFn 15 (MonthFn December (YearFn 1972))))	Government.kif 3895-3895	The day 15 of month the month December is a date established of united nations environment program
(dateEstablished UnitedNationsHighCommissionerForRefugees (DayFn 3 (MonthFn December (YearFn 1949))))	Government.kif 3981-3981	The day 3 of month the month December is a date established of united nations high commissioner for refugees
(dateEstablished UnitedNationsInstituteForTrainingAndResearch (DayFn 11 (MonthFn December (YearFn 1963))))	Government.kif 3995-3995	The day 11 of month the month December is a date established of united nations institute for training and research
(dateEstablished UnitedNationsMissionInBosniaAndHerzegovina (DayFn 21 (MonthFn December (YearFn 1995))))	Government.kif 4034-4034	The day 21 of month the month December is a date established of united nations mission in bosnia and herzegovina
(dateEstablished UnitedNationsMissionOfObserversInTajikistan (DayFn 16 (MonthFn December (YearFn 1994))))	Government.kif 4061-4061	The day 16 of month the month December is a date established of united nations mission of observers in tajikistan
(dateEstablished UnitedNationsReliefAndWorksAgencyForPalestineRefugeesInTheNearEast (DayFn 8 (MonthFn December (YearFn 1949))))	Government.kif 4111-4111	The day 8 of month the month December is a date established of united nations relief and works agency for palestine refugees in the near east
(dateEstablished UnitedNationsUniversity (DayFn 3 (MonthFn December (YearFn 1973))))	Government.kif 4224-4224	The day 3 of month the month December is a date established of united nations university

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

KB Term:			Term intersection

English Word: