TreeView Knowledge Base Browser

appearance as argument number 1

(instance treatmentGroup BinaryPredicate)	UXExperimentalTerms.kif 3953-3953	treatment group is an instance of binary predicate
(domain treatmentGroup 1 Collection)	UXExperimentalTerms.kif 3955-3955	The number 1 argument of treatment group is an instance of collection
(domain treatmentGroup 2 Experimenting)	UXExperimentalTerms.kif 3957-3957	The number 2 argument of treatment group is an instance of experimenting
(documentation treatmentGroup EnglishLanguage "(treatmentGroup ?COLLECTION ?EXPERIMENT) means that ?COLLECTION is the group of all agents who have experienced an experimentalVariableProcess of ?EXERIMENT, where ?EXPERIMENT is an instance of Experimenting.")	UXExperimentalTerms.kif 3961-3963	The number 2 argument of treatment group is an instance of experimenting

appearance as argument number 2

(termFormat EnglishLanguage treatmentGroup "treatment group")	UXExperimentalTerms.kif 3959-3959
(format EnglishLanguage treatmentGroup "%1 is the treatment group in %2")	domainEnglishFormat.kif 4830-4830
(format ChineseTraditionalLanguage treatmentGroup "%1 是 treatment group 在 %2 ")	domainEnglishFormat.kif 4831-4831
(format ChineseLanguage treatmentGroup "%1 是 treatment group 在 %2 ")	domainEnglishFormat.kif 4832-4832

consequent

(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_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 ?TREATMENT_GROUP such that ?TREATMENT_GROUP is an instance of collection, Z is a member of ?TREATMENT_GROUP, and ?TREATMENT_GROUP is the treatment group in Y