December |
(dateEstablished WorldCustomsOrganization (DayFn 15 (MonthFn December (YearFn 1950)))) |
Government.kif 3055-3055 | |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | |
(subclass ChristmasDay (DayFn 25 December)) |
Media.kif 337-337 |