JewishHoliday |
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 |
appearance as argument number 2 |
(subclass Hanukkah JewishHoliday) | Media.kif 570-570 | |
(subclass Passover JewishHoliday) | Media.kif 599-599 | |
(termFormat EnglishLanguage JewishHoliday "Jewish holiday") | domainEnglishFormat.kif 65057-65057 |
antecedent |
(=> (and (instance ?T1 JewishHoliday) (observesHoliday ?A ?T1)) (holdsDuring ?T1 (attribute ?A ReligiousJew))) |
Media.kif 281-286 |