BatMitzvah |
appearance as argument number 1 |
(documentation BatMitzvah EnglishLanguage "An initiation ceremony marking the 13th birthday of a Jewish girl.") | Biography.kif 97-97 | |
(subclass BatMitzvah Ceremony) | Biography.kif 95-95 | 子類 BatMitzvah and Ceremony |
(subclass BatMitzvah ReligiousProcess) | Biography.kif 96-96 | 子類 BatMitzvah and ReligiousProcess |
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 99-115 |
|
(=> (instance ?MIT BatMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 117-122 |