(subclass Thursday Day) | Merge.kif 9269-9269 | Jeudi est une sous-classe de jour |
(subclass AscensionThursday Thursday) | Media.kif 530-530 | AscensionThursday est une sous-classe de Jeudi |
(subclass USThanksgivingDay Thursday) | Media.kif 621-621 | USThanksgivingDay est une sous-classe de Jeudi |