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 | O argumento numero 1 de experimentalControlProcess e' uma instancia de Experimenting |
(domain experimentalControlProcess 2 Process) | UXExperimentalTerms.kif 3825-3825 | O argumento numero 2 de experimentalControlProcess e' uma instancia de Processo |
(instance experimentalControlProcess BinaryPredicate) | UXExperimentalTerms.kif 3816-3816 | experimentalControlProcess e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage experimentalControlProcess "control 在实验 %1 是 %2 ") | domainEnglishFormat.kif 3358-3358 | |
(format ChineseTraditionalLanguage experimentalControlProcess "control 在實驗 %1 是 %2 ") | domainEnglishFormat.kif 3357-3357 | |
(format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2") | domainEnglishFormat.kif 3356-3356 | |
(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 | |
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (subProcess ?CONTROL ?EXPERIMENT)) |
UXExperimentalTerms.kif 3829-3833 |
|
consequent |