|
|
  Menopausal
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Menopausal EnglishLanguage "Menopause, also known as the climacteric, is the time in women's lives when menstrual periods stop permanently, and they are no longer able to bear children. Menopause typically occurs between 49 and 52 years of age. Medical professionals often define menopause as having occurred when a woman has not had any menstrual bleeding for a year. [from Wikipedia]") | Mid-level-ontology.kif 23965-23970 | |
| (instance Menopausal BiologicalAttribute) | Mid-level-ontology.kif 23964-23964 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Menopausal "menopause") | Mid-level-ontology.kif 23971-23971 |
| antecedent |
|
|
| (=> (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 23973-23989 | |
| (=> (and (holdsDuring ?T1 (attribute ?F Menopausal)) (equal ?BEFORE (SubtractionFn (MeasureFn 1 YearDuration) (BeginFn ?T1))) (equal ?YBEFORE (TimeIntervalFn ?YBEFORE (BeginFn ?T1)))) (not (exists (?M) (and (instance ?M Menstruation) (experiencer ?M ?F))))) |
Mid-level-ontology.kif 23946-23960 | |
| (=> (attribute ?F Menopausal) (attribute ?F Female)) |
Mid-level-ontology.kif 23991-23993 |
| consequent |
|
|
| (=> (and (instance ?M Menstruation) (experiencer ?M ?F)) (and (attribute ?F Female) (not (attribute ?F Menopausal)))) |
Mid-level-ontology.kif 23937-23944 |
|
|
|