TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23347-23352
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23345-23345	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 23353-23353

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23355-23372	If menopause is an attribute of a human holds during a time interval and a real number is a birthdate of the human and another real number is equal to (year duration 49 and the real number) and a third real number is equal to (year duration 52 and the real number) and a time point is equal to the beginning of the time interval, then the statement the time point is greater than the other real number and the third 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 23329-23343	If menopause is an attribute of an agent holds during a time interval and a real number is equal to (year duration 1 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 23374-23376	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 23320-23327