| 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 4025-4028 | |
| (domain experimentalControlProcess 1 Experimenting) | UXExperimentalTerms.kif 4030-4030 | |
| (domain experimentalControlProcess 2 Process) | UXExperimentalTerms.kif 4032-4032 | |
| (instance experimentalControlProcess BinaryPredicate) | UXExperimentalTerms.kif 4023-4023 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage experimentalControlProcess "control 在实验 %1 是 %2 ") | domainEnglishFormat.kif 3363-3363 | |
| (format ChineseTraditionalLanguage experimentalControlProcess "control 在實驗 %1 是 %2 ") | domainEnglishFormat.kif 3362-3362 | |
| (format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2") | domainEnglishFormat.kif 3361-3361 | |
| (termFormat EnglishLanguage experimentalControlProcess "experimental control (process)") | UXExperimentalTerms.kif 4034-4034 |
| antecedent |
|
|
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL))) |
UXExperimentalTerms.kif 4104-4109 | |
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (subProcess ?CONTROL ?EXPERIMENT)) |
UXExperimentalTerms.kif 4036-4040 |
| consequent |
|
|
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE))) |
UXExperimentalTerms.kif 4096-4101 | |
| (=> (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 4130-4141 | |
| (=> (attribute ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalControlProcess ?TEST ?PROCESS)))) |
UXExperimentalTerms.kif 4629-4634 | |
| (=> (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 4415-4430 |
|
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