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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - treatedPageDefinition

appearance as argument number 1

(documentation treatedPageDefinition EnglishLanguage "(treatedPageDefinition ?EXPERIMENT ?FORMULA) means that if the the Formula ?FORMULA refers to a WebPage, that WebPage is a treatedPage in the context of the Experimenting ?EXPERIMENT.") UXExperimentalTerms.kif 4354-4356
(domain treatedPageDefinition 1 Experimenting) UXExperimentalTerms.kif 4346-4346
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4348-4348
(instance treatedPageDefinition BinaryPredicate) UXExperimentalTerms.kif 4352-4352

appearance as argument number 2

(format ChineseLanguage treatedPageDefinition "处理页面 的 definition 在 %1 是 %2 ") domainEnglishFormat.kif 4818-4818
(format ChineseTraditionalLanguage treatedPageDefinition "處理頁面 的 definition 在 %1 是 %2 ") domainEnglishFormat.kif 4817-4817
(format EnglishLanguage treatedPageDefinition "the definition of a treated page in %1 is %2") domainEnglishFormat.kif 4816-4816
(termFormat EnglishLanguage treatedPageDefinition "treated page definition") UXExperimentalTerms.kif 4350-4350


        (treatedPageDefinition ?EXPERIMENT ?FORMULA)
        (instance ?PAGE WebPage)
        (refers ?FORMULA ?PAGE))
    (treatedPage ?PAGE ?EXPERIMENT))
UXExperimentalTerms.kif 4358-4363

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