Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ABTest
|
|
|
| appearance as argument number 1 |
|
|
| (instance ABTest ExperimentAttribute) | UXExperimentalTerms.kif 4414-4414 | A/B test is an instance of experiment attribute |
| (documentation ABTest EnglishLanguage "An ExperimentAttribute signifying the experimenting has at least one experimentalControlProcess and at least one experimentalVariableProcess being tested.") | UXExperimentalTerms.kif 4416-4418 | A/B test is an instance of experiment attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ABTest "A/B test") | UXExperimentalTerms.kif 4420-4420 |
| antecedent |
|
|
| (=> (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 |
| (=> (attribute ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalVariableProcess ?TEST ?PROCESS)))) |
UXExperimentalTerms.kif 4429-4434 | If A/B test is an attribute of X, then there exists Y such that Y is an instance of process and Y is a process in X |
|