| JewishHoliday(Jewish holiday) | | Jewish_holy_day |
| appearance as argument number 1 |
|
|
| (documentation JewishHoliday EnglishLanguage "An instance of JewishHoliday is a Holiday instituted and observed by members of Judaism.") | Media.kif 277-279 | |
| (subclass JewishHoliday Holiday) | Media.kif 276-276 | Jewish holiday is a subclass of holiday |
| appearance as argument number 2 |
|
|
| (subclass Hanukkah JewishHoliday) | Media.kif 570-570 | Hanukkah is a subclass of Jewish holiday |
| (subclass Passover JewishHoliday) | Media.kif 599-599 | Passover is a subclass of Jewish holiday |
| (termFormat EnglishLanguage JewishHoliday "Jewish holiday") | domainEnglishFormat.kif 65078-65078 | Passover is a subclass of Jewish holiday |
| antecedent |
|
|
| (=> (and (instance ?T1 JewishHoliday) (observesHoliday ?A ?T1)) (holdsDuring ?T1 (attribute ?A ReligiousJew))) |
Media.kif 281-286 |
|
|
|
|