TreeView Knowledge Base Browser

appearance as argument number 1

(documentation QPViewsFn EnglishLanguage "(QPViewsFn ?VISITOR) returns all the instances of AccessingWebPage where ?Visitor is the agent and the desitination is a treatedPage")	UXExperimentalTerms.kif 4379-4380
(domain QPViewsFn 1 Human)	UXExperimentalTerms.kif 4373-4373
(instance QPViewsFn UnaryFunction)	UXExperimentalTerms.kif 4371-4371
(range QPViewsFn Collection)	UXExperimentalTerms.kif 4375-4375

appearance as argument number 2

(format ChineseLanguage QPViewsFn "所有的 treated web page 浏览从 %1")	domainEnglishFormat.kif 4295-4295
(format ChineseTraditionalLanguage QPViewsFn "所有的 treated web page 瀏覽從 %1 ")	domainEnglishFormat.kif 4294-4294
(format EnglishLanguage QPViewsFn "all the treated web page views from %1")	domainEnglishFormat.kif 4293-4293
(termFormat EnglishLanguage QPViewsFn "qualifed page views")	UXExperimentalTerms.kif 4377-4377

consequent

(=>
    (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 4382-4397

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

KB Term:			Term intersection

English Word: