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 4378-4379
(domain QPViewsFn 1 Human)	UXExperimentalTerms.kif 4372-4372
(instance QPViewsFn UnaryFunction)	UXExperimentalTerms.kif 4370-4370
(range QPViewsFn Collection)	UXExperimentalTerms.kif 4374-4374

appearance as argument number 2

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

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 4381-4396

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

KB Term:			Term intersection

English Word: