Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JewishHoliday(Jewish holiday) |  | Jewish_holy_day |
| appearance as argument number 1 |
|
|
| (subclass JewishHoliday Holiday) | Media.kif 270-270 | Jewish holiday is a subclass of holiday |
| (documentation JewishHoliday EnglishLanguage "An instance of JewishHoliday is a Holiday instituted and observed by members of Judaism.") | Media.kif 271-273 | Jewish holiday is a subclass of holiday |
| appearance as argument number 2 |
|
|
| (subclass Hanukkah JewishHoliday) | Media.kif 564-564 | Hanukkah is a subclass of Jewish holiday |
| (subclass Passover JewishHoliday) | Media.kif 593-593 | Passover is a subclass of Jewish holiday |
| (termFormat EnglishLanguage JewishHoliday "Jewish holiday") | domainEnglishFormat.kif 65058-65058 | Passover is a subclass of Jewish holiday |
| antecedent |
|
|
| (=> (and (instance ?T1 JewishHoliday) (observesHoliday ?A ?T1)) (holdsDuring ?T1 (attribute ?A ReligiousJew))) |
Media.kif 275-280 | If X is an instance of Jewish holiday and Y observes X, then religious jew is an attribute of Y holds during X |
|