Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SiteWideNewSellersFn |
| appearance as argument number 1 |
|
| (instance SiteWideNewSellersFn BinaryFunction) | UXExperimentalTerms.kif 3460-3460 | Site_wide new sellers is an instance of binary function |
| (domain SiteWideNewSellersFn 1 TimeInterval) | UXExperimentalTerms.kif 3462-3462 | The number 1 argument of site_wide new sellers is an instance of timeframe |
| (domain SiteWideNewSellersFn 2 WebSite) | UXExperimentalTerms.kif 3464-3464 | The number 2 argument of site_wide new sellers is an instance of web site |
| (range SiteWideNewSellersFn Collection) | UXExperimentalTerms.kif 3466-3466 | The range of site_wide new sellers is an instance of collection |
| (documentation SiteWideNewSellersFn EnglishLanguage "(SiteWideNewSellersFn ?INTERVAL ?SITE) Returns a collection of Agents who were agents of a Selling during TimeInterval ?INTERVAL where ?SITE was the instrument, and who were not registeredUsers before ?INTERVAL.") | UXExperimentalTerms.kif 3470-3472 | The range of site_wide new sellers is an instance of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SiteWideNewSellersFn "site_wide new sellers") | UXExperimentalTerms.kif 3468-3468 | |
| (format EnglishLanguage SiteWideNewSellersFn "new sellers at %2 during %1") | domainEnglishFormat.kif 4548-4548 | |
| (format ChineseTraditionalLanguage SiteWideNewSellersFn "new sellers 在 %2 期間 %1 ") | domainEnglishFormat.kif 4549-4549 | |
| (format ChineseLanguage SiteWideNewSellersFn "new sellers 在 %2 期间 %1 ") | domainEnglishFormat.kif 4550-4550 |
| consequent |
|
|
| (=> (and (instance ?INTERVAL TimeInterval) (instance ?SITE WebSite)) (exists (?NEWSELLERS) (and (instance ?NEWSELLERS Collection) (forall (?AGENT) (=> (member ?AGENT ?NEWSELLERS) (and (exists (?SELLING) (and (instance ?AGENT AutonomousAgent) (instance ?SELLING Selling) (agent ?SELLING ?AGENT) (instrument ?SELLING ?SITE) (during ?SELLING ?INTERVAL))) (not (exists (?INTERVAL_BEFORE) (and (instance ?INTERVAL_BEFORE TimeInterval) (earlier ?INTERVAL_BEFORE ?INTERVAL) (holdsDuring ?INTERVAL_BEFORE (exists (?SELLING_BEFORE) (and (instance ?SELLING_BEFORE Selling) (agent ?SELLING_BEFORE ?AGENT) (instrument ?SELLING_BEFORE ?SITE) (during ?SELLING_BEFORE ?INTERVAL)))))))))) (equal (SiteWideNewSellersFn ?INTERVAL ?SITE) ?NEWSELLERS)))) |
UXExperimentalTerms.kif 3474-3506 | If X is an instance of timeframe and Y is an instance of web site, then All of the following hold: (1) there exists Z such that Z is an instance of collection (2) W W is a member of Zthere exists V such that W is an instance of agent (3) V is an instance of selling (4) W is an agent of V (5) Y is an instrument for V (6) V takes place during X (7) there doesn't exist ?INTERVAL_BEFORE such that ?INTERVAL_BEFORE is an instance of timeframe (8) ?INTERVAL_BEFORE happens earlier than X (9) there exists ?SELLING_BEFORE such that ?SELLING_BEFORE is an instance of selling (10) W is an agent of ?SELLING_BEFORE (11) Y is an instrument for ?SELLING_BEFORE (12) ?SELLING_BEFORE takes place during X holds during ?INTERVAL_BEFORE (13) equal new sellers at Y during X (14) Z |
|