No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 598-601 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 603-603 |
O argumento numero 1 de tTest e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 604-604 |
O argumento numero 2 de tTest e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 605-605 |
O argumento numero 3 de tTest e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 595-595 |
tTest e' uma instancia de Predicado Ternario |