| Hanukkah(hanukkah) | | Channukah, Channukkah, Chanukah, Chanukkah, Feast_of_Dedication, Feast_of_Lights, Feast_of_the_Dedication, Festival_of_Lights, Hannukah, Hanukah, 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 is a subclass of Jewish holiday |
| (subclass Hanukkah MoveableHoliday) | Media.kif 571-571 | Hanukkah is a subclass of moveable holiday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hanukkah "hanukkah") | domainEnglishFormat.kif 65012-65012 |
| 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 |
|
|
|
|