Hanukkah |
appearance as argument number 1 |
(documentation Hanukkah EnglishLanguage "An instance of Hanukkah is a JewishHoliday that lasts for eight nights, and commemorates the rededication of the Temple in Jerusalem during the 2nd century BCE, at the time of the Maccabean Revolt. According to the Jewish (Hebrew) religious calendar, Hanukkah begins at sunset on 25 Kislev.") | Media.kif 572-578 | |
(subclass Hanukkah JewishHoliday) | Media.kif 570-570 | Hanukkah est une sous-classe de JewishHoliday |
(subclass Hanukkah MoveableHoliday) | Media.kif 571-571 | Hanukkah est une sous-classe de MoveableHoliday |
appearance as argument number 2 |
(termFormat EnglishLanguage Hanukkah "hanukkah") | domainEnglishFormat.kif 64964-64964 |
antecedent |
(=> (and (instance ?H Hanukkah) (equal ?B (BeginFn ?H))) (exists (?M) (and (temporalPart ?B ?M) (instance ?M Month) (or (instance ?M November) (instance ?M December))))) |
Media.kif 587-597 |
|
(=> (instance ?H Hanukkah) (duration ?H (MeasureFn 8 DayDuration))) |
Media.kif 580-582 |
|