more pictures...
| appearance as argument number 1 |
|
|
| (instance Judaism BeliefGroup) | People.kif 1418-1418 | Judaism is an instance of belief group |
| (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 1419-1422 | Judaism is an instance of belief group |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Star_of_David.svg") | pictureList.kif 4910-4910 | Judaism is an instance of belief group |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Judaica.jpg") | pictureList.kif 5028-5028 | Judaism is an instance of belief group |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ ReformJewishService.jpg") | pictureList.kif 5029-5029 | Judaism is an instance of belief group |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Western_wall_jerusalem_night.jpg") | pictureList.kif 5030-5030 | Judaism is an instance of belief group |
| (externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/8/ 83/ Torah_and_jad.jpg") | pictureList.kif 5031-5031 | Judaism is an instance of belief group |
| appearance as argument number 2 |
|
|
| 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 71-87 | If All of the following hold: (1) X is an instance of bar mitzvah (2) Y is a patient of X (3) Y is an instance of boy (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S |
| (=> (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 102-118 | If All of the following hold: (1) X is an instance of bat mitzvah (2) Y is a patient of X (3) Y is an instance of girl (4) Y is a member of Z (5) Z is an instance of judaism (6) W is a birthdate of Y (7) W is an instance of the day V of month the month U, then there exist T and S such that T is an instance of integer and equal T and (R and 13) and S is an instance of the day V of month the month U and equal the time of existence of X and immediately after S |
| consequent |
|
|
| (<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1429-1431 | Religious jew is an attribute of X if and only if X is a member of judaism |
| (=> (member ?MEMBER Antisemitism) (dislikes ?MEMBER Judaism)) |
People.kif 1443-1445 | If X is a member of antisemitism, then X dislikes judaism |
|
|
|