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 数量 是 女人 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1514-1514 | WeekBeforeMenstruationFn 是 UnaryFn 的 instance |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1516-1516 | WeekBeforeMenstruationFn 的 range 是 类 的实例 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1521-1534 |