No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 228-229 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 224-224 |
O argumento numero 1 de concentration e' uma instancia de Quantidade |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 226-226 |
O argumento numero 3 de concentration e' uma instancia de Quantidade |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 227-227 |
O argumento numero 4 de concentration e' uma instancia de Mistura |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 225-225 |
O argumento numero 2 de concentration e' uma sub-classe de Substancia |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 223-223 |
concentration e' uma instancia de Predicado Quaternario |