more pictures...
| Judaism
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation Judaism EnglishLanguage "The religion developed among the ancient Hebrews and characterized by belief in one transcendent God who has revealed Himself to Abraham, Moses, and the Hebrew prophets and by a religious life in accordance with Scriptures and rabbinic traditions.") | People.kif 1418-1421 | |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Western_wall_jerusalem_night.jpg") | pictureList.kif 5030-5030 | |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Star_of_David.svg") | pictureList.kif 4910-4910 | |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/8/ 83/ Torah_and_jad.jpg") | pictureList.kif 5031-5031 | |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Judaica.jpg") | pictureList.kif 5028-5028 | |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ ReformJewishService.jpg") | pictureList.kif 5029-5029 | |
| (instance Judaism BeliefGroup) | People.kif 1417-1417 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Judaism "犹太教") | domainEnglishFormat.kif 31841-31841 | |
| (termFormat ChineseTraditionalLanguage Judaism "猶太教") | domainEnglishFormat.kif 31840-31840 | |
| (termFormat EnglishLanguage Judaism "judaism") | domainEnglishFormat.kif 31839-31839 |
| antecedent |
|
|
| (=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 69-85 | |
| (=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13))))) |
Biography.kif 99-115 |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1428-1430 | |
| (=> (member ?MEMBER Antisemitism) (dislikes ?MEMBER Judaism)) |
People.kif 1442-1444 |
|
|
|