No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3717-3719 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3711-3711 |
O argumento numero 1 de SRPEngagementFn e' uma instancia de SearchResultsPage |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3709-3709 |
SRPEngagementFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 3713-3713 |
O contra-dominio de SRPEngagementFn e' uma instancia de Numero Real |