December(十二月) |
(dateEstablished WorldCustomsOrganization (DayFn 15 (MonthFn December (YearFn 1950)))) |
Government.kif 3055-3055 | 15 Day 是 世界海关组织 的成立 date |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | 冬季 equal 从十二月到二月再次发生所需的时间 |
(subclass ChristmasDay (DayFn 25 December)) |
Media.kif 337-337 | ChristmasDay 是 25 day 的 subclass |