experimentalControlProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - experimentalControlProcess

experimentalControlProcess

appearance as argument number 1

(documentation experimentalControlProcess EnglishLanguage "(experimentalControlProcess ?EXPERIMENT ?PROC) means that the experiencing of the Process ?PROC is the control in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from an experimentalVariableProcess experienced by the experimental group in the experiment.")	UXExperimentalTerms.kif 3818-3821
(domain experimentalControlProcess 1 Experimenting)	UXExperimentalTerms.kif 3823-3823	The number 1 argument of experimental control (process) is an instance of experimenting
(domain experimentalControlProcess 2 Process)	UXExperimentalTerms.kif 3825-3825	The number 2 argument of experimental control (process) is an instance of process
(instance experimentalControlProcess BinaryPredicate)	UXExperimentalTerms.kif 3816-3816	experimental control (process) is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage experimentalControlProcess "control 在实验 %1 是 %2 ")	domainEnglishFormat.kif 3352-3352
(format ChineseTraditionalLanguage experimentalControlProcess "control 在實驗 %1 是 %2 ")	domainEnglishFormat.kif 3351-3351
(format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2")	domainEnglishFormat.kif 3350-3350
(termFormat EnglishLanguage experimentalControlProcess "experimental control (process)")	UXExperimentalTerms.kif 3827-3827

antecedent

(=> (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) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (subProcess ?CONTROL ?EXPERIMENT))	UXExperimentalTerms.kif 3829-3833	If an experimenting is an instance of experimenting and the control in experiment the experimenting is a process, then the process is a subprocess of the experimenting

consequent

(=> (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) (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
(=> (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
(=> (property ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalControlProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4425-4430	If an experimenting the attribute A/B test, then there exists a process such that the process is an instance of process and the control in experiment the experimenting is the process

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