SiteWideNewRegistrationsFn |
appearance as argument number 1 |
(documentation SiteWideNewRegistrationsFn EnglishLanguage "(SiteWideNewRegistrationsFn ?INTERVAL ?SITE) returns a collection of Agents who were not registerUsers of ?SITE before ?INTERVAL, but were registeredUsers for some Interval during ?INTERVAL") | UXExperimentalTerms.kif 3424-3426 | |
(domain SiteWideNewRegistrationsFn 1 TimeInterval) | UXExperimentalTerms.kif 3416-3416 | |
(domain SiteWideNewRegistrationsFn 2 WebSite) | UXExperimentalTerms.kif 3418-3418 | |
(instance SiteWideNewRegistrationsFn BinaryFunction) | UXExperimentalTerms.kif 3414-3414 | |
(range SiteWideNewRegistrationsFn Collection) | UXExperimentalTerms.kif 3420-3420 |
appearance as argument number 2 |
(format ChineseLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期间 %1 ") | domainEnglishFormat.kif 4542-4542 | |
(format ChineseTraditionalLanguage SiteWideNewRegistrationsFn "new registrations 在 %2 期間 %1 ") | domainEnglishFormat.kif 4541-4541 | |
(format EnglishLanguage SiteWideNewRegistrationsFn "new registrations at %2 during %1") | domainEnglishFormat.kif 4540-4540 | |
(termFormat EnglishLanguage SiteWideNewRegistrationsFn "site-wide new registrations") | UXExperimentalTerms.kif 3422-3422 |
consequent |
(=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWREGISTRATIONS) (and (instance ?NEWREGISTRATIONS Collection) (forall (?USER) (=> (and (instance ?USER Human) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (registeredUser ?USER ?SITE))))) (exists (?INTERVAL_DURING) (and (instance ?INTERVAL_DURING TimeInterval) (during ?INTERVAL_DURING ?INTERVAL) (holdsDuring ?INTERVAL (registeredUser ?USER ?SITE))))) (member ?USER ?NEWREGISTRATIONS))) (equal ?NEWREGISTRATIONS (SiteWideNewRegistrationsFn ?INTERVAL ?SITE))))) |
UXExperimentalTerms.kif 3428-3455 |