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 | 域 WeekBeforeMenstruationFn, 1 and 女人 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1514-1514 | 例 WeekBeforeMenstruationFn and UnaryFn |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1516-1516 | 範圍 WeekBeforeMenstruationFn and Class |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1521-1534 |
|