TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23907-23912
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23906-23906	Menopausal e' uma instancia de Atributo Biologico

appearance as argument number 2

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

Mid-level-ontology.kif 23913-23913

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23915-23931	Menopausal e' um atributo de Humano vale durante Intervalo Temporal birthdate Humano and Dia Dia e' uma instancia de o dia Inteiro positivo Numero Real e' igual a (49 + Numero Inteiro) Numero Real e' igual a (52 + Numero Inteiro) Ponto no tempo e' igual a o comeco de Intervalo Temporal o argumento Ponto no tempo e' maior que Numero Real Numero Real e' maior que Ponto no tempo tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23888-23902	Menopausal e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Real e' igual a (1 YearDuration(s) + o comeco de Intervalo Temporal) Intervalo Temporal e' igual a o intervalo entre Intervalo Temporal e o comeco de Intervalo Temporal Processo Processo e' uma instancia de Menstruation AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23933-23935	Menopausal e' um atributo de Objeto Female e' um atributo de Objeto

consequent

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

Mid-level-ontology.kif 23879-23886