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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - treatedPageDefinition
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 4352-4354
(domain treatedPageDefinition 1 Experimenting) UXExperimentalTerms.kif 4344-4344
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4346-4346
(instance treatedPageDefinition BinaryPredicate) UXExperimentalTerms.kif 4350-4350

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


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

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


(=>
    (and
        (treatedPageDefinition ?EXPERIMENT ?FORMULA)
        (instance ?PAGE WebPage)
        (refers ?FORMULA ?PAGE))
    (treatedPage ?PAGE ?EXPERIMENT))
UXExperimentalTerms.kif 4356-4361


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners