Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PPSFn
PPSFn

appearance as argument number 1
-------------------------


(documentation PPSFn EnglishLanguage "QualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event") UXExperimentalTerms.kif 3253-3254
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3249-3249 domain PPSFn, 1 and Experimenting
(instance PPSFn UnaryFunction) UXExperimentalTerms.kif 3247-3247 instance PPSFn and UnaryFunction
(range PPSFn RealNumber) UXExperimentalTerms.kif 3251-3251 range PPSFn and RealNumber

appearance as argument number 2
-------------------------


(format ChineseLanguage PPSFn "purchases per user 在 %1 ") domainEnglishFormat.kif 4195-4195
(format ChineseTraditionalLanguage PPSFn "purchases per user 在 %1 ") domainEnglishFormat.kif 4194-4194
(format EnglishLanguage PPSFn "purchases per user in %1") domainEnglishFormat.kif 4193-4193
(termFormat EnglishLanguage PPSFn "qualifying purchases per user") UXExperimentalTerms.kif 3256-3256 termFormat EnglishLanguage, PPSFn and "qualifying purchases per user"

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 3258-3275


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners