TreeView Knowledge Base Browser - 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 4156-4158
(domain treatedPageDefinition 1 Experimenting)	UXExperimentalTerms.kif 4148-4148	Le nombre 1 argument de treatedPageDefinition est une instance de Experimenting
(domain treatedPageDefinition 2 Formula)	UXExperimentalTerms.kif 4150-4150	Le nombre 2 argument de treatedPageDefinition est une instance de formule
(instance treatedPageDefinition BinaryPredicate)	UXExperimentalTerms.kif 4154-4154	treatedPageDefinition est une instance de pr�dicat binaire

appearance as argument number 2

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

antecedent

(=>
    (and
        (treatedPageDefinition ?EXPERIMENT ?FORMULA)
        (instance ?PAGE WebPage)
        (refers ?FORMULA ?PAGE))
    (treatedPage ?PAGE ?EXPERIMENT))

UXExperimentalTerms.kif 4160-4165