WeekBeforeMenstruationFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1517-1519 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1515-1515 | O argumento numero 1 de WeekBeforeMenstruationFn e' uma instancia de Woman |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1514-1514 | WeekBeforeMenstruationFn e' uma instancia de UnaryFn |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1516-1516 | O contra-dominio de WeekBeforeMenstruationFn e' uma instancia de Classe |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1521-1534 |
|