| 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 | |
| (subclass Hanukkah MoveableHoliday) | Media.kif 571-571 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hanukkah "hanukkah") | domainEnglishFormat.kif 64987-64987 |
| 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 |
|
|
|