Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| experimentalControlProcess |
| appearance as argument number 1 |
|
| (instance experimentalControlProcess BinaryPredicate) | UXExperimentalTerms.kif 3813-3813 | experimental control (process) is an instance of binary predicate |
| (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 3815-3818 | experimental control (process) is an instance of binary predicate |
| (domain experimentalControlProcess 1 Experimenting) | UXExperimentalTerms.kif 3820-3820 | The number 1 argument of experimental control (process) is an instance of experimenting |
| (domain experimentalControlProcess 2 Process) | UXExperimentalTerms.kif 3822-3822 | The number 2 argument of experimental control (process) is an instance of process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage experimentalControlProcess "experimental control (process)") | UXExperimentalTerms.kif 3824-3824 | |
| (format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2") | domainEnglishFormat.kif 3354-3354 | |
| (format ChineseTraditionalLanguage experimentalControlProcess "control 在實驗 %1 是 %2 ") | domainEnglishFormat.kif 3355-3355 | |
| (format ChineseLanguage experimentalControlProcess "control 在实验 %1 是 %2 ") | domainEnglishFormat.kif 3356-3356 |
| antecedent |
|
|
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (subProcess ?CONTROL ?EXPERIMENT)) |
UXExperimentalTerms.kif 3826-3830 | If X is an instance of experimenting and the control in experiment X is Y, then Y is a subprocess of X |
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL))) |
UXExperimentalTerms.kif 3894-3899 | If X is an instance of experimenting and the control in experiment X is Y, then Y is a process in X |
| consequent |
|
|
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE))) |
UXExperimentalTerms.kif 3886-3891 | If X is an instance of experimenting and Y is a process in X, then the control in experiment X is Y |
| (=> (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 3920-3931 | If X is an instance of experimenting, Y is an instance of human, and Y is a subject in X, then there exists Z such that Z is an instance of process, Y experiences Z, and the control in experiment X is Z or Z is a process in X |
| (=> (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 4205-4220 | If X is an instance of experimenting, then there exists ?QUALIFYING_EVENTS such that ?QUALIFYING_EVENTS is an instance of collection, Z Z is an instance of process, the control in experiment X is Z or Z is a process in XZ is a member of ?QUALIFYING_EVENTS, equal events in X, and ?QUALIFYING_EVENTS |
| (=> (property ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalControlProcess ?TEST ?PROCESS)))) |
UXExperimentalTerms.kif 4422-4427 | If X the attribute A/B test, then there exists Y such that Y is an instance of process and the control in experiment X is Y |
|