Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BarMitzvah(bar mitzvah) |
| appearance as argument number 1 |
|
| (subclass BarMitzvah Ceremony) | Biography.kif 66-66 | Bar mitzvah is a subclass of ceremony |
| (subclass BarMitzvah ReligiousProcess) | Biography.kif 67-67 | Bar mitzvah is a subclass of religious process |
| (documentation BarMitzvah EnglishLanguage "An initiation ceremony marking the 13th birthday of a Jewish boy.") | Biography.kif 68-68 | Bar mitzvah is a subclass of religious process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BarMitzvah "bar mitzvah") | Biography.kif 69-69 |
| 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 |
| (=> (instance ?MIT BarMitzvah) (exists (?PROC) (and (instance ?PROC ReligiousService) (subProcess ?PROC ?MIT)))) |
Biography.kif 89-94 | If X is an instance of bar mitzvah, then there exists Y such that Y is an instance of religious service and Y is a subprocess of X |
|