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 |
The number 1 argument of tonicity is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1123-1123 |
The number 2 argument of tonicity is an instance of object |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1124-1124 |
The number 3 argument of tonicity is an instance of PressureMeasure |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1121-1121 |
tonicity is an instance of ternary predicate |