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 3051-3052
(domain PPSFn 1 Experimenting)	UXExperimentalTerms.kif 3047-3047	Die Zahl 1 Argument von PPSFn ist ein fall von Experimenting %n{nicht}
(instance PPSFn UnaryFunction)	UXExperimentalTerms.kif 3045-3045	PPSFn ist ein fall von UnaryFunction %n{nicht}
(range PPSFn RealNumber)	UXExperimentalTerms.kif 3049-3049	bildbereich von PPSFn ist ein fall von RealNumber {nicht}

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

Wenn Experimenting ist ein fall von Experimenting %n{nicht} und Entity ist ein fall von TimeInterval %n{nicht},
dann die Zahl Faellen in die kategorie die SymbolicString beschreibt und die Zahl Faellen in die kategorie die ** SymbolicString beschreibt ist gleich PPSFn ** Experimenting %n{nicht}

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

KB Term:			Term intersection

English Word: