TreeView 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	Menopausal 是生物属性的 instance

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	如果 Menopausal 是人类的 attribute 在时距 holdsDuring 和日是那个人类的 birthdate 和那个日是正整数 day 的 instance 和实数 equal (49 和整数) 和另一个实数 equal (52 和那个整数) 和时点 equal 那个时距的开始，然后那个时点是 greaterThan 那个实数和那个另外实数是 greaterThan 那个时点的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23889-23903	如果 Menopausal 是施事体的 attribute 在时距 holdsDuring 和实数 equal (1 年持续时间和那个时距的开始) 和另一个时距 equal 那个另外时距和那个时距的开始间的时段，然后不存在过程这样那个过程是经期的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23934-23936	如果 Menopausal 是客体的 attribute，然后女是那个客体的 attribute

consequent

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

Mid-level-ontology.kif 23880-23887