Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SiteWideNewBuyersFn |
| appearance as argument number 1 |
|
| (instance SiteWideNewBuyersFn BinaryFunction) | UXExperimentalTerms.kif 3361-3361 | New buyers is an instance of binary function |
| (domain SiteWideNewBuyersFn 1 TimeInterval) | UXExperimentalTerms.kif 3363-3363 | The number 1 argument of new buyers is an instance of timeframe |
| (domain SiteWideNewBuyersFn 2 WebSite) | UXExperimentalTerms.kif 3365-3365 | The number 2 argument of new buyers is an instance of web site |
| (range SiteWideNewBuyersFn Collection) | UXExperimentalTerms.kif 3367-3367 | The range of new buyers is an instance of collection |
| (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 3371-3373 | The range of new buyers is an instance of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers") | UXExperimentalTerms.kif 3369-3369 | |
| (format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1") | domainEnglishFormat.kif 4540-4540 | |
| (format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ") | domainEnglishFormat.kif 4541-4541 | |
| (format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ") | domainEnglishFormat.kif 4542-4542 |
| 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 3375-3407 | 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 buying (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 ?BUYING_BEFORE such that ?BUYING_BEFORE is an instance of buying (10) W is an agent of ?BUYING_BEFORE (11) Y is an instrument for ?BUYING_BEFORE (12) ?BUYING_BEFORE takes place during X holds during ?INTERVAL_BEFORE (13) equal new buyers at Y during X (14) Z |
|