| 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 3679-3681 | |
| (domain SiteWideNewSellersFn 1 TimeInterval) | UXExperimentalTerms.kif 3671-3671 | |
| (domain SiteWideNewSellersFn 2 WebSite) | UXExperimentalTerms.kif 3673-3673 | |
| (instance SiteWideNewSellersFn BinaryFunction) | UXExperimentalTerms.kif 3669-3669 | |
| (range SiteWideNewSellersFn Collection) | UXExperimentalTerms.kif 3675-3675 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SiteWideNewSellersFn "new sellers 在 %2 期间 %1 ") | domainEnglishFormat.kif 4555-4555 | |
| (format ChineseTraditionalLanguage SiteWideNewSellersFn "new sellers 在 %2 期間 %1 ") | domainEnglishFormat.kif 4554-4554 | |
| (format EnglishLanguage SiteWideNewSellersFn "new sellers at %2 during %1") | domainEnglishFormat.kif 4553-4553 | |
| (termFormat EnglishLanguage SiteWideNewSellersFn "site-wide new sellers") | UXExperimentalTerms.kif 3677-3677 |
| 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 Agent) (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 3683-3715 |
|
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