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 | Le nombre 1 argument de SiteWideNewBuyersFn est une instance de interval temporel |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3366-3366 | Le nombre 2 argument de SiteWideNewBuyersFn est une instance de WebSite |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3362-3362 | SiteWideNewBuyersFn est une instance de fonction binaire |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 3368-3368 | Le domaine de SiteWideNewBuyersFn est une instance de collection |
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 |