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 | The number 1 argument of WeekBeforeMenstruationFn is an instance of woman |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1514-1514 | WeekBeforeMenstruationFn is an instance of UnaryFn |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1516-1516 | The range of WeekBeforeMenstruationFn is an instance of class |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1521-1534 |
|