| appearance as argument number 1 |
|
| (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 3372-3374 | |
| (domain SiteWideNewBuyersFn 1 TimeInterval) | UXExperimentalTerms.kif 3364-3364 | SiteWideNewBuyersFn 的 1 数量 是 时距 的 instance |
| (domain SiteWideNewBuyersFn 2 WebSite) | UXExperimentalTerms.kif 3366-3366 | SiteWideNewBuyersFn 的 2 数量 是 WebSite 的 instance |
| (instance SiteWideNewBuyersFn BinaryFunction) | UXExperimentalTerms.kif 3362-3362 | SiteWideNewBuyersFn 是 二元函数 的 instance |
| (range SiteWideNewBuyersFn Collection) | UXExperimentalTerms.kif 3368-3368 | SiteWideNewBuyersFn 的 range 是 群体 的实例 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage SiteWideNewBuyersFn "new buyers 在 %2 其间 %1 ") | domainEnglishFormat.kif 4538-4538 | |
| (format ChineseTraditionalLanguage SiteWideNewBuyersFn "new buyers 在 %2 其間 %1 ") | domainEnglishFormat.kif 4537-4537 | |
| (format EnglishLanguage SiteWideNewBuyersFn "new buyers at %2 during %1") | domainEnglishFormat.kif 4536-4536 | |
| (termFormat EnglishLanguage SiteWideNewBuyersFn "new buyers") | UXExperimentalTerms.kif 3370-3370 |
| 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 3376-3408 |
|
|
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