(=>
(treatedPage ?WEBPAGE ?EXPERIMENT)
(exists (?EVENT ?VISITOR ?ACCESSING)
(and
(member ?EVENT
(QualifyingEventsFn ?EXPERIMENT))
(=>
(and
(instance ?VISITOR Human)
(instance ?ACCESSING AccessingWebPage)
(agent ?ACCESSING ?VISITOR)
(destination ?ACCESSING ?WEBPAGE))
(experiencer ?VISITOR ?EVENT))))) |
UXExperimentalTerms.kif 4122-4133 |
If X is the object of study of Y, then there exist Z, W, V such that Z is a member of events in Y, W is an instance of human, V is an instance of accessing web page, W is an agent of V, and V ends up at XZ experiences W |
(=>
(and
(instance ?VISITOR Human)
(instance ?QPVIEWS Collection)
(forall (?PAGE ?ACCESSING ?EXPERIMENT)
(=>
(and
(instance ?PAGE WebPage)
(instance ?ACCESSING AccessingWebPage)
(instance ?EXPERIMENT Experimenting)
(agent ?ACCESSING ?VISITOR)
(patient ?ACCESSING ?PAGE)
(treatedPage ?PAGE ?EXPERIMENT))
(member ?ACCESSING ?QPVIEWS))))
(equal ?QPVIEWS
(QPViewsFn ?VISITOR))) |
UXExperimentalTerms.kif 4172-4187 |
If X is an instance of human, Y is an instance of collection, and For all WebPage Z, Process W, and Experimenting V: if W is an instance of accessing web page, X is an agent of W, Z is a patient of W, and Z is the object of study of V, then W is a member of Y, then equal Y and all the treated web page views from X |
