TreeView Knowledge Base Browser - experimentalTreatmentCollection

appearance as argument number 1

(documentation experimentalTreatmentCollection EnglishLanguage "A BinaryPredicate specifying the the collection of Processes which are experimentalVariableProcesses of an Experimenting.")	UXExperimentalTerms.kif 4247-4248
(domain experimentalTreatmentCollection 1 Collection)	UXExperimentalTerms.kif 4241-4241
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4243-4243
(instance experimentalTreatmentCollection BinaryPredicate)	UXExperimentalTerms.kif 4239-4239

appearance as argument number 2

(format ChineseLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ")	domainEnglishFormat.kif 3371-3371
(format ChineseTraditionalLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ")	domainEnglishFormat.kif 3370-3370
(format EnglishLanguage experimentalTreatmentCollection "%1 are the processes in %2")	domainEnglishFormat.kif 3369-3369
(termFormat EnglishLanguage experimentalTreatmentCollection "experimental treatment")	UXExperimentalTerms.kif 4245-4245

antecedent

(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))

UXExperimentalTerms.kif 4250-4254