controlGroup - Sigma Knowledge base Browser

appearance as argument number 1

(instance controlGroup BinaryPredicate)	UXExperimentalTerms.kif 3836-3836	control group is an instance of binary predicate
(domain controlGroup 1 Collection)	UXExperimentalTerms.kif 3838-3838	The number 1 argument of control group is an instance of collection
(domain controlGroup 2 Experimenting)	UXExperimentalTerms.kif 3840-3840	The number 2 argument of control group is an instance of experimenting
(documentation controlGroup 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 3842-3844	The number 2 argument of control group is an instance of experimenting

appearance as argument number 2

(termFormat EnglishLanguage controlGroup "control group")	UXExperimentalTerms.kif 3846-3846
(format EnglishLanguage controlGroup "%1 is the control group in %2")	domainEnglishFormat.kif 3112-3112
(format ChineseTraditionalLanguage controlGroup "%1 是在 %2 的 control group ")	domainEnglishFormat.kif 3113-3113
(format ChineseLanguage controlGroup "%1 是在 %2 的 control group ")	domainEnglishFormat.kif 3114-3114

consequent

(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))

If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?CONTROL_GROUP such that ?CONTROL_GROUP is an instance of collection, Z is a member of ?CONTROL_GROUP, and ?CONTROL_GROUP is the control group in Y