treatedPage |
appearance as argument number 1 |
(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 4120-4123 | |
(domain treatedPage 1 WebPage) | UXExperimentalTerms.kif 4112-4112 | O argumento numero 1 de treatedPage e' uma instancia de WebPage |
(domain treatedPage 2 Experimenting) | UXExperimentalTerms.kif 4114-4114 | O argumento numero 2 de treatedPage e' uma instancia de Experimenting |
(instance treatedPage BinaryPredicate) | UXExperimentalTerms.kif 4118-4118 | treatedPage e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage treatedPage "%1 是 %2 的 研究对象") | domainEnglishFormat.kif 4810-4810 | |
(format ChineseTraditionalLanguage treatedPage "%1 是 %2 的 研究對象") | domainEnglishFormat.kif 4809-4809 | |
(format EnglishLanguage treatedPage "%1 is the object of study of %2") | domainEnglishFormat.kif 4808-4808 | |
(termFormat EnglishLanguage treatedPage "treated page") | UXExperimentalTerms.kif 4116-4116 |
antecedent |
consequent |
(=> (and (treatedPageDefinition ?EXPERIMENT ?FORMULA) (instance ?PAGE WebPage) (refers ?FORMULA ?PAGE)) (treatedPage ?PAGE ?EXPERIMENT)) |
UXExperimentalTerms.kif 4152-4157 |
|
(=> (qualifiedPageView ?EXPERIMENT ?ACCESSING) (exists (?PAGE) (and (instance ?PAGE WebPage) (patient ?ACCESSING ?PAGE) (treatedPage ?EXPERIMENT ?PAGE)))) |
UXExperimentalTerms.kif 4079-4085 |
|