TreeView Knowledge Base Browser

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: