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 |
Le nombre 1 argument de tonicity est une instance de objet |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1123-1123 |
Le nombre 2 argument de tonicity est une instance de objet |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1124-1124 |
Le nombre 3 argument de tonicity est une instance de PressureMeasure |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1121-1121 |
tonicity est une instance de pr�dicat ternaire |