Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - QPViewsFn

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 4370-4371
(domain QPViewsFn 1 Human) UXExperimentalTerms.kif 4364-4364
(instance QPViewsFn UnaryFunction) UXExperimentalTerms.kif 4362-4362
(range QPViewsFn Collection) UXExperimentalTerms.kif 4366-4366

appearance as argument number 2

(format EnglishLanguage QPViewsFn "all the treated web page views from %1") domainEnglishFormat.kif 1082-1082
(termFormat EnglishLanguage QPViewsFn "qualifed page views") UXExperimentalTerms.kif 4368-4368


        (instance ?VISITOR Human)
        (instance ?QPVIEWS Collection)
        (forall (?PAGE ?ACCESSING ?EXPERIMENT)
                    (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 4373-4388

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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners