| 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 | The number 1 argument of treated page is an instance of web page |
| (domain treatedPage 2 Experimenting) | UXExperimentalTerms.kif 4114-4114 | The number 2 argument of treated page is an instance of experimenting |
| (instance treatedPage BinaryPredicate) | UXExperimentalTerms.kif 4118-4118 | treated page is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage treatedPage "%1 是 %2 的 研究对象") | domainEnglishFormat.kif 4812-4812 | |
| (format ChineseTraditionalLanguage treatedPage "%1 是 %2 的 研究對象") | domainEnglishFormat.kif 4811-4811 | |
| (format EnglishLanguage treatedPage "%1 is the object of study of %2") | domainEnglishFormat.kif 4810-4810 | |
| (termFormat EnglishLanguage treatedPage "treated page") | UXExperimentalTerms.kif 4116-4116 |
| antecedent |
|
|
| (=> (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 4175-4190 |
|
| (=> (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 4125-4136 |
|
| 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 |
|
|
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 is open source software produced by Articulate Software and its partners