TreeView Knowledge Base Browser

appearance as argument number 1

(instance experimenter CaseRole)	UXExperimentalTerms.kif 3937-3937	experimental subject is an instance of case role
(domain experimenter 1 Experimenting)	UXExperimentalTerms.kif 3939-3939	The number 1 argument of experimental subject is an instance of experimenting
(domain experimenter 2 CognitiveAgent)	UXExperimentalTerms.kif 3941-3941	The number 2 argument of experimental subject is an instance of cognitive agent
(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 3945-3947	The number 2 argument of experimental subject is an instance of cognitive agent

appearance as argument number 2

(termFormat EnglishLanguage experimenter "experimental subject")	UXExperimentalTerms.kif 3943-3943
(format EnglishLanguage experimenter "%2 is the experimenter in %1")	domainEnglishFormat.kif 3370-3370
(format ChineseTraditionalLanguage experimenter "%2 是在 %1 的 experimenter ")	domainEnglishFormat.kif 3371-3371
(format ChineseLanguage experimenter "%2 是在 %1 的 experimenter ")	domainEnglishFormat.kif 3372-3372

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)))))

If All of the following hold: (1) X is an instance of process (2) Y is an instance of agent (3) Z is an instance of experimenting (4) Y is a treated used in Z (5) X is a process in Z (6) Y experiences W (7) Y experiences X (8) Z causes W, then there exists V such that V is an instance of agent, V is the experimenter in Z, and V believes the statement X causes W has the modal force of likely