| appearance as argument number 1 |
|
| (documentation PPSFn EnglishLanguage "QualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event") | UXExperimentalTerms.kif 3051-3052 | |
| (domain PPSFn 1 Experimenting) | UXExperimentalTerms.kif 3047-3047 | |
| (instance PPSFn UnaryFunction) | UXExperimentalTerms.kif 3045-3045 | |
| (range PPSFn RealNumber) | UXExperimentalTerms.kif 3049-3049 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage PPSFn "purchases per user 在 %1 ") | domainEnglishFormat.kif 4198-4198 | |
| (format ChineseTraditionalLanguage PPSFn "purchases per user 在 %1 ") | domainEnglishFormat.kif 4197-4197 | |
| (format EnglishLanguage PPSFn "purchases per user in %1") | domainEnglishFormat.kif 4196-4196 | |
| (termFormat EnglishLanguage PPSFn "qualifying purchases per user") | UXExperimentalTerms.kif 3054-3054 |
| consequent |
|
|
| (=> (and (instance ?EXPERIMENT Experimenting) (instance ?INTERVAL TimeInterval)) (equal (DivisionFn (CardinalityFn (KappaFn ?PURCHASE (and (instance ?PURCHASE Buying) (member ?PURCHASE (QualifyingPurchasesFn ?EXPERIMENT))))) (CardinalityFn (KappaFn ?USER (and (member ?USER (TreatedUsersFn ?EXPERIMENT)) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?USER))))) (PPSFn ?EXPERIMENT))) |
UXExperimentalTerms.kif 3056-3073 |
|
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