WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 951-951 | O argumento numero 2 de webSeller e' uma instancia de WebSite |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2949-2949 | O argumento numero 2 de webVisitor e' uma instancia de WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 682-682 | O argumento numero 3 de webcart e' uma instancia de WebSite |