Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| qualifiedPageView |
| appearance as argument number 1 |
|
| (instance qualifiedPageView BinaryPredicate) | UXExperimentalTerms.kif 4067-4067 | qualified page view is an instance of binary predicate |
| (domain qualifiedPageView 1 Experimenting) | UXExperimentalTerms.kif 4069-4069 | The number 1 argument of qualified page view is an instance of experimenting |
| (domain qualifiedPageView 2 AccessingWebPage) | UXExperimentalTerms.kif 4071-4071 | The number 2 argument of qualified page view is an instance of accessing web page |
| (documentation qualifiedPageView EnglishLanguage "(qualifedPageView ?EXPERIMENT ?ACCESSING) represents that the patient of AccessingWebPage ?ACCESSING is a treatedPage in ?EXPERIMENT") | UXExperimentalTerms.kif 4073-4074 | The number 2 argument of qualified page view is an instance of accessing web page |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage qualifiedPageView "%2 is accessed during %1") | domainEnglishFormat.kif 4296-4296 | |
| (format ChineseTraditionalLanguage qualifiedPageView "%2 是 accessed 在其間 %1 ") | domainEnglishFormat.kif 4297-4297 | |
| (format ChineseLanguage qualifiedPageView "%2 是 accessed 在其间 %1 ") | domainEnglishFormat.kif 4298-4298 | |
| (termFormat EnglishLanguage qualifiedPageView "qualified page view") | domainEnglishFormat.kif 65946-65946 |
| antecedent |
|
|
| (=> (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 |
|