| appearance as argument number 1 |
|
| (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 3471-3473 | |
| (domain SiteWideNewSellersFn 1 TimeInterval) | UXExperimentalTerms.kif 3463-3463 | |
| (domain SiteWideNewSellersFn 2 WebSite) | UXExperimentalTerms.kif 3465-3465 | |
| (instance SiteWideNewSellersFn BinaryFunction) | UXExperimentalTerms.kif 3461-3461 | |
| (range SiteWideNewSellersFn Collection) | UXExperimentalTerms.kif 3467-3467 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SiteWideNewSellersFn "new sellers 在 %2 期间 %1 ") | domainEnglishFormat.kif 4546-4546 | |
| (format ChineseTraditionalLanguage SiteWideNewSellersFn "new sellers 在 %2 期間 %1 ") | domainEnglishFormat.kif 4545-4545 | |
| (format EnglishLanguage SiteWideNewSellersFn "new sellers at %2 during %1") | domainEnglishFormat.kif 4544-4544 | |
| (termFormat EnglishLanguage SiteWideNewSellersFn "site-wide new sellers") | UXExperimentalTerms.kif 3469-3469 |
| 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 3475-3507 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners