Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BatMitzvah(bat mitzvah) |
| appearance as argument number 1 |
|
| (subclass BatMitzvah Ceremony) | Biography.kif 97-97 | Bat mitzvah is a subclass of ceremony |
| (subclass BatMitzvah ReligiousProcess) | Biography.kif 98-98 | Bat mitzvah is a subclass of religious process |
| (documentation BatMitzvah EnglishLanguage "An initiation ceremony marking the 13th birthday of a Jewish girl.") | Biography.kif 100-100 | Bat mitzvah is a subclass of religious process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BatMitzvah "bat mitzvah") | Biography.kif 99-99 |
| antecedent |
|
|
| (=> (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 |
| (=> (instance ?MIT BatMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 120-125 | If X is an instance of bat mitzvah, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X |
|