December(December) |
(dateEstablished WorldCustomsOrganization (DayFn 15 (MonthFn December (YearFn 1950)))) |
Government.kif 3055-3055 | The day 15 is a date established of world customs organization |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | Winter season is equal to the recurring period from December to February |
(subclass ChristmasDay (DayFn 25 December)) |
Media.kif 337-337 | Christmas day is a subclass of the day 25 |