experimentalTreatmentCollection - Sigma Knowledge base Browser

appearance as argument number 1

(instance experimentalTreatmentCollection BinaryPredicate)	UXExperimentalTerms.kif 4029-4029	experimental treatment is an instance of binary predicate
(domain experimentalTreatmentCollection 1 Collection)	UXExperimentalTerms.kif 4031-4031	The number 1 argument of experimental treatment is an instance of collection
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4033-4033	The number 2 argument of experimental treatment is an instance of experimenting
(documentation experimentalTreatmentCollection EnglishLanguage "A BinaryPredicate specifying the the collection of Processes which are experimentalVariableProcesses of an Experimenting.")	UXExperimentalTerms.kif 4037-4038	The number 2 argument of experimental treatment is an instance of experimenting

appearance as argument number 2

(termFormat EnglishLanguage experimentalTreatmentCollection "experimental treatment")	UXExperimentalTerms.kif 4035-4035
(format EnglishLanguage experimentalTreatmentCollection "%1 are the processes in %2")	domainEnglishFormat.kif 3362-3362
(format ChineseTraditionalLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ")	domainEnglishFormat.kif 3363-3363
(format ChineseLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ")	domainEnglishFormat.kif 3364-3364

antecedent

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

If X are the processes in Y and Z is a member of X, then Z is a process in Y