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 |