experimenter - Sigma Knowledge base Browser

appearance as argument number 1

(documentation experimenter EnglishLanguage "The CaseRole (experimenter ?EXPERIMENT ?HUMAN) means that ?HUMAN is one of the CognitiveAgents either conducting or analyzing the Experimenting ?EXPERIMENT.")	UXExperimentalTerms.kif 3948-3950
(domain experimenter 1 Experimenting)	UXExperimentalTerms.kif 3942-3942
(domain experimenter 2 CognitiveAgent)	UXExperimentalTerms.kif 3944-3944
(instance experimenter CaseRole)	UXExperimentalTerms.kif 3940-3940

appearance as argument number 2

(format ChineseLanguage experimenter "%2 是在 %1 的 experimenter ")	domainEnglishFormat.kif 3368-3368
(format ChineseTraditionalLanguage experimenter "%2 是在 %1 的 experimenter ")	domainEnglishFormat.kif 3367-3367
(format EnglishLanguage experimenter "%2 is the experimenter in %1")	domainEnglishFormat.kif 3366-3366
(termFormat EnglishLanguage experimenter "experimental subject")	UXExperimentalTerms.kif 3946-3946

consequent

(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT AutonomousAgent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER AutonomousAgent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))

UXExperimentalTerms.kif 4357-4374