experimentalTreatmentCollection - Sigma Knowledge base Browser

appearance as argument number 1

(documentation experimentalTreatmentCollection EnglishLanguage "A BinaryPredicate specifying the the collection of Processes which are experimentalVariableProcesses of an Experimenting.")	UXExperimentalTerms.kif 4040-4041
(domain experimentalTreatmentCollection 1 Collection)	UXExperimentalTerms.kif 4034-4034	The number 1 argument of experimental treatment is an instance of collection
(domain experimentalTreatmentCollection 2 Experimenting)	UXExperimentalTerms.kif 4036-4036	The number 2 argument of experimental treatment is an instance of experimenting
(instance experimentalTreatmentCollection BinaryPredicate)	UXExperimentalTerms.kif 4032-4032	experimental treatment is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ")	domainEnglishFormat.kif 3360-3360
(format ChineseTraditionalLanguage experimentalTreatmentCollection "%1 是在 %2 的 processes ")	domainEnglishFormat.kif 3359-3359
(format EnglishLanguage experimentalTreatmentCollection "%1 are the processes in %2")	domainEnglishFormat.kif 3358-3358
(termFormat EnglishLanguage experimentalTreatmentCollection "experimental treatment")	UXExperimentalTerms.kif 4038-4038

antecedent

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

UXExperimentalTerms.kif 4043-4047