(=>
(and
(holdsDuring ?T
(attribute ?F Menopausal))
(birthdate ?F ?B)
(instance ?B
(DayFn ?D
(MonthFn ?M
(YearFn ?Y))))
(equal ?A1
(AdditionFn 49 ?Y))
(equal ?A2
(AdditionFn 52 ?Y))
(equal ?START
(BeginFn ?T)))
(modalAttribute
(and
(greaterThan ?START ?A1)
(greaterThan ?A2 ?START)) Likely)) |
Mid-level-ontology.kif 26201-26217 |
If All of the following hold: (1) menopause is an attribute of X holds during Y (2) Z is a birthdate of X (3) Z is an instance of the day W of month the month V (4) equal U and (49 and T) (5) equal S and (52 and T) (6) equal R and the beginning of Y, then the statement R is greater than U and S is greater than R has the modal force of likely |
(=>
(and
(birthdate ?A ?DAY)
(instance ?DAY
(DayFn ?D
(MonthFn ?M
(YearFn ?Y)))))
(exists (?CLASS ?FUTURE)
(and
(birthday ?A ?CLASS)
(subclass ?CLASS Day)
(instance ?FUTURE Integer)
(equal ?CLASS
(DayFn ?D
(MonthFn ?M
(YearFn ?FUTURE))))
(greaterThan ?FUTURE ?Y)))) |
Mid-level-ontology.kif 26520-26530 |
If X is a birthdate of Y and X is an instance of the day Z of month the month W, then All of the following hold: (1) there exist V (2) U such that Y's birthday is V (3) V is a subclass of day (4) U is an instance of integer (5) equal V (6) the day Z of month the month W (7) U is greater than T |
(=>
(birthdate ?P ?D)
(exists (?B)
(and
(instance ?B Birth)
(experiencer ?B ?P)
(date ?B ?D)))) |
Mid-level-ontology.kif 26554-26560 |
If X is a birthdate of Y, then there exists Z such that Z is an instance of birth, Y experiences Z, and date of Z is X |
(=>
(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 |
(=>
(and
(birthdate JesusOfNazareth ?DAY)
(instance ?Y1
(YearFn -6))
(instance ?Y2
(YearFn 4)))
(temporalPart ?DAY
(TimeIntervalFn
(BeginFn ?Y1)
(EndFn ?Y2)))) |
Media.kif 1883-1888 |
If X is a birthdate of Jesus of Nazareth, Y is an instance of the year -6, and Z is an instance of the year 4, then X is a part of interval between the beginning of Y and the end of Z |
