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 25556-25561
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25555-25555	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 25562-25562

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25564-25580	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 of month the month a kind of month 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 25537-25551	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 25582-25584	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 25528-25535