SiteWideNewBuyersFn |
appearance as argument number 1 |
(documentation SiteWideNewBuyersFn EnglishLanguage "(SiteWideNewBuyersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Buying during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.") | UXExperimentalTerms.kif 3372-3374 | |
(domain SiteWideNewBuyersFn 1 TimeInterval) | UXExperimentalTerms.kif 3364-3364 | |
(domain SiteWideNewBuyersFn 2 WebSite) | UXExperimentalTerms.kif 3366-3366 | |
(instance SiteWideNewBuyersFn BinaryFunction) | UXExperimentalTerms.kif 3362-3362 | |
(range SiteWideNewBuyersFn Collection) | UXExperimentalTerms.kif 3368-3368 |
appearance as argument number 2 |
(format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ") | domainEnglishFormat.kif 4538-4538 | |
(format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ") | domainEnglishFormat.kif 4537-4537 | |
(format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1") | domainEnglishFormat.kif 4536-4536 | |
(termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers") | UXExperimentalTerms.kif 3370-3370 |
consequent |
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWBUYERS) (and (instance ?NEWBUYERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWBUYERS) (and (exists (?BUYING) (and (instance ?AGENT AutonomousAgent) (instance ?BUYING Buying) (agent ?BUYING ?AGENT) (instrument ?BUYING ?SITE) (during ?BUYING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?BUYING_BEFORE) (and (instance ?BUYING_BEFORE Buying) (agent ?BUYING_BEFORE ?AGENT) (instrument ?BUYING_BEFORE ?SITE) (during ?BUYING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewBuyersFn ?INTERVAL ?SITE) ?NEWBUYERS)))) |
UXExperimentalTerms.kif 3376-3408 |