experimentalVariableProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - experimentalVariableProcess

experimentalVariableProcess

appearance as argument number 1

(documentation experimentalVariableProcess EnglishLanguage "(experimentalVariableProcess ?EXPERIMENT ?PROC) means that an AutonomousAgent being the experiencer of the Process ?PROC is the experimental independent variable in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from the experimentalControlProcess experienced by the control group in the experiment")	UXExperimentalTerms.kif 3876-3880
(domain experimentalVariableProcess 1 Experimenting)	UXExperimentalTerms.kif 3870-3870	The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimentalVariableProcess 2 Process)	UXExperimentalTerms.kif 3872-3872	The number 2 argument of experimental variable (process) is an instance of process
(instance experimentalVariableProcess BinaryPredicate)	UXExperimentalTerms.kif 3868-3868	experimental variable (process) is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage experimentalVariableProcess "%2 在 %1 的 process ")	domainEnglishFormat.kif 3368-3368
(format ChineseTraditionalLanguage experimentalVariableProcess "%2 在 %1 的 process ")	domainEnglishFormat.kif 3367-3367
(format EnglishLanguage experimentalVariableProcess "%2 is a process in %1")	domainEnglishFormat.kif 3366-3366
(termFormat EnglishLanguage experimentalVariableProcess "experimental variable (process)")	UXExperimentalTerms.kif 3874-3874

antecedent

(=> (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	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))	UXExperimentalTerms.kif 3889-3894	If an experimenting is an instance of experimenting and a process is a process in the experimenting, then not the control in experiment the experimenting is the process
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (subProcess ?VARIABLE ?EXPERIMENT))	UXExperimentalTerms.kif 3882-3886	If an experimenting is an instance of experimenting and a process is a process in the experimenting, then the process is a subprocess of the experimenting
(=> (and (instance ?TEST MultivariateTest) (subProcess ?EXPERIMENT1 ?TEST) (subProcess ?EXPERIMENT2 ?TEST) (instance ?EXPERIMENT1 Experimenting) (instance ?EXPERIMENT2 Experimenting) (instance ?VARIABLE1 Process) (instance ?VARIABLE2 Process) (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1) (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2)) (exists (?PROCESS) (and (instance ?PROCESS Process) (subProcess ?VARIABLE1 ?PROCESS) (subProcess ?VARIABLE2 ?PROCESS) (not (equal ?VARIABLE1 ?VARIABLE2)))))	UXExperimentalTerms.kif 4501-4518	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
(=> (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))))	UXExperimentalTerms.kif 3851-3862	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the control group in the experimenting
(=> (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))))	UXExperimentalTerms.kif 3968-3979	If a process is an instance of process and an experimenting is an instance of experimenting and another process is an instance of agent and agent experiences the other process and the process is a process in the experimenting, then there exists an entity_GROUP such that the entity_GROUP is an instance of collection and the other process is a member of the entity_GROUP and the entity_GROUP is the treatment group in the experimenting

consequent

(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))	UXExperimentalTerms.kif 4043-4047	If a collection are the processes in an experimenting and a process is a member of the collection, then the process is a process in the experimenting
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))	UXExperimentalTerms.kif 3897-3902	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then not the process is a process in the experimenting
(=> (and (instance ?EXPERIMENT Experimenting) (instance ?SUBJECT Human) (experimentalSubject ?EXPERIMENT ?SUBJECT)) (exists (?PROCESS) (and (instance ?PROCESS Process) (experiencer ?PROCESS ?SUBJECT) (or (experimentalControlProcess ?EXPERIMENT ?PROCESS) (experimentalVariableProcess ?EXPERIMENT ?PROCESS)))))	UXExperimentalTerms.kif 3923-3934	If an experimenting is an instance of experimenting and a human is an instance of human and the human is a subject in the experimenting, then there exists a process such that the process is an instance of process and the human experiences the process and the control in experiment the experimenting is the process or the process is a process in the experimenting
(=> (attribute ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalVariableProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4432-4437	If A/B test is an attribute of an object, then there exists a process such that the process is an instance of process and the process is a process in the object
(=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4345-4355	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process
(=> (instance ?EXPERIMENT Experimenting) (exists (?QUALIFYING_EVENTS) (and (instance ?QUALIFYING_EVENTS Collection) (forall (?EVENT) (=> (and (instance ?EVENT Process) (or (experimentalControlProcess ?EXPERIMENT ?EVENT) (experimentalVariableProcess ?EXPERIMENT ?EVENT))) (member ?EVENT ?QUALIFYING_EVENTS))) (equal (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS))))	UXExperimentalTerms.kif 4208-4223	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners