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 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1123-1123 |
tonicity 的 2 数量 是 客体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1124-1124 |
tonicity 的 3 数量 是 PressureMeasure 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1121-1121 |
tonicity 是 三元谓语 的 instance |