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

Formal Language: 



KB Term:  Term intersection
English Word: 

  treatedPageDefinition

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 4357-4359
(domain treatedPageDefinition 1 Experimenting) UXExperimentalTerms.kif 4349-4349
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4351-4351
(instance treatedPageDefinition BinaryPredicate) UXExperimentalTerms.kif 4355-4355

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


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

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


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


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