No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 189-191 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 184-184 |
O argumento numero 1 de advertisedOn e' uma instancia de Objeto |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 185-185 |
O argumento numero 2 de advertisedOn e' uma instancia de WebSite |
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 183-183 |
advertisedOn e' uma instancia de Predicado Binario |