SiteWideNewSellersFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3471-3473 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3463-3463 | O argumento numero 1 de SiteWideNewSellersFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3465-3465 | O argumento numero 2 de SiteWideNewSellersFn e' uma instancia de WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3461-3461 | SiteWideNewSellersFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3467-3467 | O contra-dominio de SiteWideNewSellersFn e' uma instancia de Colecao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4546-4546 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4545-4545 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4544-4544 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3469-3469 |
consequent |