No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2328-2329 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2322-2322 |
O argumento numero 1 de searchResult e' uma instancia de WebListing |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2324-2324 |
O argumento numero 2 de searchResult e' uma instancia de SearchAttempt |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2320-2320 |
searchResult e' uma instancia de Predicado Binario |