(subclass USThanksgivingDay USHoliday) | Media.kif 619-619 | USThanksgivingDay は USHoliday の subclass では %n |
(subclass USThanksgivingDay MoveableHoliday) | Media.kif 620-620 | USThanksgivingDay は MoveableHoliday の subclass では %n |
(subclass USThanksgivingDay Thursday) | Media.kif 621-621 | USThanksgivingDay は 木曜日 の subclass では %n |