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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - treatedPage
treatedPage

appearance as argument number 1
-------------------------


(documentation treatedPage EnglishLanguage "BinaryPredicate tying pages to an experiment. (treatedPage ?WEBPAGE ?EXPERIMENT) means that an agent of AccessingWebPage where the WebPage ?WEBPAGE is the destination will be the experiencer of a Process which is a member of the QualifyingEventsFn of the Experimenting ?EXPERIMENT.") UXExperimentalTerms.kif 4327-4330
(domain treatedPage 1 WebPage) UXExperimentalTerms.kif 4319-4319 The number 1 argument of treated page is an instance of WebPage
(domain treatedPage 2 Experimenting) UXExperimentalTerms.kif 4321-4321 The number 2 argument of treated page is an instance of experimenting
(instance treatedPage BinaryPredicate) UXExperimentalTerms.kif 4325-4325 treated page is an instance of binary predicate

appearance as argument number 2
-------------------------


(format ChineseLanguage treatedPage "%1 是 %2 的 研究对象") domainEnglishFormat.kif 4819-4819
(format ChineseTraditionalLanguage treatedPage "%1 是 %2 的 研究對象") domainEnglishFormat.kif 4818-4818
(format EnglishLanguage treatedPage "%1 is the object of study of %2") domainEnglishFormat.kif 4817-4817
(termFormat EnglishLanguage treatedPage "treated page") UXExperimentalTerms.kif 4323-4323

antecedent
-------------------------


(=>
    (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
(=>
    (treatedPage ?WEBPAGE ?EXPERIMENT)
    (exists (?EVENT)
        (and
            (member ?EVENT
                (QualifyingEventsFn ?EXPERIMENT))
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?ACCESSING AccessingWebPage)
                    (agent ?ACCESSING ?VISITOR)
                    (destination ?ACCESSING ?WEBPAGE))
                (experiencer ?VISITOR ?EVENT)))))
UXExperimentalTerms.kif 4332-4343

consequent
-------------------------


(=>
    (and
        (treatedPageDefinition ?EXPERIMENT ?FORMULA)
        (instance ?PAGE WebPage)
        (refers ?FORMULA ?PAGE))
    (treatedPage ?PAGE ?EXPERIMENT))
UXExperimentalTerms.kif 4359-4364
(=>
    (qualifiedPageView ?EXPERIMENT ?ACCESSING)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (patient ?ACCESSING ?PAGE)
            (treatedPage ?EXPERIMENT ?PAGE))))
UXExperimentalTerms.kif 4285-4291


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners