No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1128-1138 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1122-1122 |
域 tonicity, 1 and Object |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1123-1123 |
域 tonicity, 2 and Object |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1124-1124 |
域 tonicity, 3 and PressureMeasure |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1121-1121 |
例 tonicity and TernaryPredicate |