controlGroup - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__controlGroup__m,s__EnglishLanguage,'"(controlGroup ?COLLECTION ?EXPERIMENT) means that ?COLLECTION is the group of all agents who have experienced an experimentalControlProcess of ?EXPERIMENT, where ?EXPERIMENT is an instance of Experimenting."')	UXExperimentalTerms.kif 4052-4054
s__domain(s__controlGroup__m,n__1,s__Collection)	UXExperimentalTerms.kif 4048-4048	The number 1 argument of control group is an instance of collection
s__domain(s__controlGroup__m,n__2,s__Experimenting)	UXExperimentalTerms.kif 4050-4050	The number 2 argument of control group is an instance of experimenting
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__controlGroup__m,s__BinaryPredicate)	UXExperimentalTerms.kif 4046-4046	control group is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__controlGroup__m,'"%1 是在 %2 的 control group "')	domainEnglishFormat.kif 3123-3123
s__format(s__ChineseTraditionalLanguage,s__controlGroup__m,'"%1 是在 %2 的 control group "')	domainEnglishFormat.kif 3122-3122
s__format(s__EnglishLanguage,s__controlGroup__m,'"%1 is the control group in %2"')	domainEnglishFormat.kif 3121-3121
s__termFormat(s__EnglishLanguage,s__controlGroup__m,'"control group"')	UXExperimentalTerms.kif 4056-4056

consequent

( ! [V__AGENT,V__EXPERIMENT,V__VARIABLE] :
   (((s__instance(V__VARIABLE,s__Process) &
         s__instance(V__EXPERIMENT,s__Experimenting) &
         s__instance(V__AGENT,s__Agent) &
         s__experiencer(V__AGENT,s__Agent) &
         s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
     =>
     (( ? [V__CONTROL_GROUP] :
         ((s__instance(V__CONTROL_GROUP,s__Collection) &
             s__member(V__AGENT,V__CONTROL_GROUP)
           &
           s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))))
)
)

UXExperimentalTerms.kif 4058-4069