No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 116-117 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 114-114 |
域 restingHeartRate, 1 and Mammal |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 115-115 |
域 restingHeartRate, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 113-113 |
例 restingHeartRate and BinaryPredicate |