PPSFn |
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 | O argumento numero 1 de PPSFn e' uma instancia de Experimenting |
(instance PPSFn UnaryFunction) | UXExperimentalTerms.kif 3045-3045 | PPSFn e' uma instancia de funcao Unaria |
(range PPSFn RealNumber) | UXExperimentalTerms.kif 3049-3049 | O contra-dominio de PPSFn e' uma instancia de Numero Real |
appearance as argument number 2 |
(format ChineseLanguage PPSFn "purchases per user 在 %1 ") | domainEnglishFormat.kif 4194-4194 | |
(format ChineseTraditionalLanguage PPSFn "purchases per user 在 %1 ") | domainEnglishFormat.kif 4193-4193 | |
(format EnglishLanguage PPSFn "purchases per user in %1") | domainEnglishFormat.kif 4192-4192 | |
(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 |
|