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

Formal Language: 



KB Term:  Term intersection
English Word: 

  treatedPage

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 4120-4123
(domain treatedPage 1 WebPage) UXExperimentalTerms.kif 4112-4112 O argumento numero 1 de treatedPage e' uma instancia de WebPage
(domain treatedPage 2 Experimenting) UXExperimentalTerms.kif 4114-4114 O argumento numero 2 de treatedPage e' uma instancia de Experimenting
(instance treatedPage BinaryPredicate) UXExperimentalTerms.kif 4118-4118 treatedPage e' uma instancia de Predicado Binario

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


(format ChineseLanguage treatedPage "%1 是 %2 的 研究对象") domainEnglishFormat.kif 4810-4810
(format ChineseTraditionalLanguage treatedPage "%1 是 %2 的 研究對象") domainEnglishFormat.kif 4809-4809
(format EnglishLanguage treatedPage "%1 is the object of study of %2") domainEnglishFormat.kif 4808-4808
(termFormat EnglishLanguage treatedPage "treated page") UXExperimentalTerms.kif 4116-4116

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

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


(=>
    (and
        (treatedPageDefinition ?EXPERIMENT ?FORMULA)
        (instance ?PAGE WebPage)
        (refers ?FORMULA ?PAGE))
    (treatedPage ?PAGE ?EXPERIMENT))
UXExperimentalTerms.kif 4152-4157
(=>
    (qualifiedPageView ?EXPERIMENT ?ACCESSING)
    (exists (?PAGE)
        (and
            (instance ?PAGE WebPage)
            (patient ?ACCESSING ?PAGE)
            (treatedPage ?EXPERIMENT ?PAGE))))
UXExperimentalTerms.kif 4079-4085


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 3.0 is open source software produced by Articulate Software and its partners