December(12月) |
(dateEstablished WorldCustomsOrganization (DayFn 15 (MonthFn December (YearFn 1950)))) |
Government.kif 3055-3055 | dateEstablished WorldCustomsOrganization and 15 day 目 |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | WinterSeason は the recurring period from 12月 to 2月 と equal では %n |
(subclass ChristmasDay (DayFn 25 December)) |
Media.kif 337-337 | ChristmasDay は 25 day 目 の subclass では %n |