Menopausal - Sigma Knowledge base Browser

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 25027-25032
(instance Menopausal BiologicalAttribute)	Mid-level-ontology.kif 25026-25026	Menopause is an instance of biological attribute

appearance as argument number 2

(termFormat EnglishLanguage Menopausal "menopause")

Mid-level-ontology.kif 25033-25033

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 25035-25051	If menopause is an attribute of a human holds during a time interval and a day is a birthdate of the human and the day is an instance of the day a positive integer and a real number is equal to (49 and an integer) and another real number is equal to (52 and the integer) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the real number and the other real number is greater than the time point has the modal force of likely
(=> (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 25008-25022	If menopause is an attribute of an agent holds during a time interval and a real number is equal to (1 year duration(s) and the beginning of the time interval) and another time interval is equal to interval between the other time interval and the beginning of the time interval, then there doesn't exist a process such that the process is an instance of menstruation and the agent experiences the process
(=> (attribute ?F Menopausal) (attribute ?F Female))	Mid-level-ontology.kif 25053-25055	If menopause is an attribute of an object, then female is an attribute of the object

consequent

(=>
    (and
        (instance ?M Menstruation)
        (experiencer ?M ?F))
    (and
        (attribute ?F Female)
        (not
            (attribute ?F Menopausal))))

Mid-level-ontology.kif 24999-25006

If a process is an instance of menstruation and an agent experiences the process,
then female is an attribute of the agent and menopause is not an attribute of the agent

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: