TreeView Knowledge Base Browser

appearance as argument number 1

(documentation PPSFn EnglishLanguage "QualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event")	UXExperimentalTerms.kif 3258-3259
(domain PPSFn 1 Experimenting)	UXExperimentalTerms.kif 3254-3254
(instance PPSFn UnaryFunction)	UXExperimentalTerms.kif 3252-3252
(range PPSFn RealNumber)	UXExperimentalTerms.kif 3256-3256

appearance as argument number 2

(format ChineseLanguage PPSFn "purchases per user 在 %1 ")	domainEnglishFormat.kif 4199-4199
(format ChineseTraditionalLanguage PPSFn "purchases per user 在 %1 ")	domainEnglishFormat.kif 4198-4198
(format EnglishLanguage PPSFn "purchases per user in %1")	domainEnglishFormat.kif 4197-4197
(termFormat EnglishLanguage PPSFn "qualifying purchases per user")	UXExperimentalTerms.kif 3261-3261

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 3263-3280

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: