Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MultivariateTest
|
|
|
| appearance as argument number 1 |
|
|
| (subclass MultivariateTest CollectionOfProcesses) | UXExperimentalTerms.kif 4483-4483 | Multivariate test is a subclass of collection |
| (documentation MultivariateTest EnglishLanguage "A multivariate is test where multiple componenets are tested simultaneously. Here it is represented as a CollectionOfProcesses of discrete instances of Experimenting, where the experimentalVariableProcesses in the tests are not equal, but there exists a Process of which they are both subProcesses.") | UXExperimentalTerms.kif 4485-4488 | Multivariate test is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MultivariateTest "multivariate test") | UXExperimentalTerms.kif 4490-4490 |
| antecedent |
|
|
| (=> (and (instance ?TEST MultivariateTest) (member ?EXPERIMENT ?TEST)) (instance ?EXPERIMENT Experimenting)) |
UXExperimentalTerms.kif 4492-4496 | If X is an instance of multivariate test and Y is a member of X, then Y is an instance of experimenting |
| (=> (and (instance ?TEST MultivariateTest) (subProcess ?EXPERIMENT1 ?TEST) (subProcess ?EXPERIMENT2 ?TEST) (instance ?EXPERIMENT1 Experimenting) (instance ?EXPERIMENT2 Experimenting) (instance ?VARIABLE1 Process) (instance ?VARIABLE2 Process) (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1) (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2)) (exists (?PROCESS) (and (instance ?PROCESS Process) (subProcess ?VARIABLE1 ?PROCESS) (subProcess ?VARIABLE2 ?PROCESS) (not (equal ?VARIABLE1 ?VARIABLE2))))) |
UXExperimentalTerms.kif 4498-4515 | If All of the following hold: (1) X is an instance of multivariate test (2) Y is a subprocess of X (3) Z is a subprocess of X (4) Y is an instance of experimenting (5) Z is an instance of experimenting (6) W is an instance of process (7) V is an instance of process (8) W is a process in Y (9) V is a process in Z, then there exists U such that U is an instance of process, W is a subprocess of U, V is a subprocess of U, equal W, and V |
|