No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 919-920 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 913-913 |
O argumento numero 1 de webSales e' uma instancia de Colecao |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 915-915 |
O argumento numero 2 de webSales e' uma instancia de Humano |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 917-917 |
O argumento numero 3 de webSales e' uma instancia de WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 911-911 |
webSales e' uma instancia de Predicado Ternario |