Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PPSFn
PPSFn

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


(instance PPSFn UnaryFunction) UXExperimentalTerms.kif 3045-3045 Qualifying purchases per user is an instance of unary function
(domain PPSFn 1 Experimenting) UXExperimentalTerms.kif 3047-3047 The number 1 argument of qualifying purchases per user is an instance of experimenting
(range PPSFn RealNumber) UXExperimentalTerms.kif 3049-3049 The range of qualifying purchases per user is an instance of real number
(documentation PPSFn EnglishLanguage "QualifyingPurchases per TreatedUser. Accounts for purchases immediately following a qualifying event") UXExperimentalTerms.kif 3051-3052 The range of qualifying purchases per user is an instance of real number

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


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

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 If X is an instance of experimenting and Y is an instance of timeframe, then equal the number of instances in the class described by Z, the number of instances in the class described by W, and purchases per user in X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners