Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass Hanukkah JewishHoliday) | Media.kif 564-564 | Hanukkah is a subclass of Jewish holiday |
| (subclass Hanukkah MoveableHoliday) | Media.kif 565-565 | Hanukkah is a subclass of moveable holiday |
| (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 566-572 | Hanukkah is a subclass of moveable holiday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Hanukkah "hanukkah") | domainEnglishFormat.kif 64967-64967 |
| antecedent |
|
|
| (=> (instance ?H Hanukkah) (duration ?H (MeasureFn 8 DayDuration))) |
Media.kif 574-576 | If X is an instance of hanukkah, then duration of X is 8 day duration(s) |
| (=> (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 581-591 | If X is an instance of hanukkah and equal Y and the beginning of X, then there exists Z such that Y is a part of Z, Z is an instance of month, and Z is an instance of November or Z is an instance of December |
|