Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| treatedPage |
| appearance as argument number 1 |
|
| (domain treatedPage 1 WebPage) | UXExperimentalTerms.kif 4109-4109 | The number 1 argument of treated page is an instance of web page |
| (domain treatedPage 2 Experimenting) | UXExperimentalTerms.kif 4111-4111 | The number 2 argument of treated page is an instance of experimenting |
| (instance treatedPage BinaryPredicate) | UXExperimentalTerms.kif 4115-4115 | treated page is an instance of binary predicate |
| (documentation treatedPage EnglishLanguage "BinaryPredicate tying pages to an experiment. (treatedPage ?WEBPAGE ?EXPERIMENT) means that an agent of AccessingWebPage where the WebPage ?WEBPAGE is the destination will be the experiencer of a Process which is a member of the QualifyingEventsFn of the Experimenting ?EXPERIMENT.") | UXExperimentalTerms.kif 4117-4120 | treated page is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage treatedPage "treated page") | UXExperimentalTerms.kif 4113-4113 | |
| (format EnglishLanguage treatedPage "%1 is the object of study of %2") | domainEnglishFormat.kif 4814-4814 | |
| (format ChineseTraditionalLanguage treatedPage "%1 是 %2 的 研究對象") | domainEnglishFormat.kif 4815-4815 | |
| (format ChineseLanguage treatedPage "%1 是 %2 的 研究对象") | domainEnglishFormat.kif 4816-4816 |
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (qualifiedPageView ?EXPERIMENT ?ACCESSING) (exists (?PAGE) (and (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (treatedPage ?EXPERIMENT ?PAGE)))) |
UXExperimentalTerms.kif 4076-4082 | If X is accessed during Y, then there exists Z such that Z is an instance of web page, Z is a patient of X, and Y is the object of study of Z |
|