SiteWideNewBuyersFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3372-3374 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3364-3364 | O argumento numero 1 de SiteWideNewBuyersFn e' uma instancia de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3366-3366 | O argumento numero 2 de SiteWideNewBuyersFn e' uma instancia de WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3362-3362 | SiteWideNewBuyersFn e' uma instancia de Funcao Binaria |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3368-3368 | O contra-dominio de SiteWideNewBuyersFn e' uma instancia de Colecao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4538-4538 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4537-4537 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4536-4536 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3370-3370 |
consequent |