Menopausal - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23908-23913
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23907-23907	Menopause is an instance of biological attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23914-23914

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23916-23932	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23934-23936	If menopause is an attribute of an object, then female is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23880-23887