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 4355-4357
(domain treatedPageDefinition 1 Experimenting) UXExperimentalTerms.kif 4347-4347 The number 1 argument of treated page definition is an instance of experimenting
(domain treatedPageDefinition 2 Formula) UXExperimentalTerms.kif 4349-4349 The number 2 argument of treated page definition is an instance of formula
(instance treatedPageDefinition BinaryPredicate) UXExperimentalTerms.kif 4353-4353 treated page definition is an instance of binary predicate

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


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

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


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


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