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 4148-4150
(domain treatedPageDefinition 1 Experimenting)	UXExperimentalTerms.kif 4140-4140	treatedPageDefinition の数値 1 引数は Experimenting の instance では %n
(domain treatedPageDefinition 2 Formula)	UXExperimentalTerms.kif 4142-4142	treatedPageDefinition の数値 2 引数は公式の instance では %n
(instance treatedPageDefinition BinaryPredicate)	UXExperimentalTerms.kif 4146-4146	treatedPageDefinition は 2進述語の instance では %n

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 4144-4144

antecedent

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

UXExperimentalTerms.kif 4152-4157