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 |
O argumento numero 1 de tonicity e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1123-1123 |
O argumento numero 2 de tonicity e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1124-1124 |
O argumento numero 3 de tonicity e' uma instancia de PressureMeasure |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1121-1121 |
tonicity e' uma instancia de Predicado Ternario |