(=>
(and
(instance ?EXPERIMENT Experimenting)
(instance ?INTERVAL TimeInterval))
(equal
(DivisionFn
(CardinalityFn
(KappaFn ?PURCHASE
(and
(instance ?PURCHASE Buying)
(member ?PURCHASE
(QualifyingPurchasesFn ?EXPERIMENT))
(during
(WhenFn ?PURCHASE) ?INTERVAL))))
(CardinalityFn
(KappaFn ?USER
(and
(member ?USER
(TreatedUsersFn ?EXPERIMENT))
(instance ?ACCESSING AccessingWebPage)
(during
(WhenFn ?ACCESSING) ?INTERVAL)
(agent ?ACCESSING ?USER)))))
(PPIFn ?EXPERIMENT ?INTERVAL))) |
UXExperimentalTerms.kif 3095-3114 |
|