Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| experimentalVariableProcess |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage experimentalVariableProcess "experimental variable (process)") | UXExperimentalTerms.kif 3871-3871 | |
| (format EnglishLanguage experimentalVariableProcess "%2 is a process in %1") | domainEnglishFormat.kif 3366-3366 | |
| (format ChineseTraditionalLanguage experimentalVariableProcess "%2 在 %1 的 process ") | domainEnglishFormat.kif 3367-3367 | |
| (format ChineseLanguage experimentalVariableProcess "%2 在 %1 的 process ") | domainEnglishFormat.kif 3368-3368 |
| antecedent |
|
|
| (=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT)))) |
UXExperimentalTerms.kif 3848-3859 | If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?CONTROL_GROUP such that ?CONTROL_GROUP is an instance of collection, Z is a member of ?CONTROL_GROUP, and ?CONTROL_GROUP is the control group in Y |
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (subProcess ?VARIABLE ?EXPERIMENT)) |
UXExperimentalTerms.kif 3879-3883 | If X is an instance of experimenting and Y is a process in X, then Y is a subprocess of X |
| (=> (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 ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT AutonomousAgent) (experiencer ?AGENT AutonomousAgent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT)))) |
UXExperimentalTerms.kif 3965-3976 | If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?TREATMENT_GROUP such that ?TREATMENT_GROUP is an instance of collection, Z is a member of ?TREATMENT_GROUP, and ?TREATMENT_GROUP is the treatment group in Y |
| (=> (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER AutonomousAgent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely))))) |
UXExperimentalTerms.kif 4354-4371 | If All of the following hold: (1) X is an instance of process (2) Y is an instance of agent (3) Z is an instance of experimenting (4) Y is a treated used in Z (5) X is a process in Z (6) Y experiences W (7) Y experiences X (8) Z causes W, then there exists V such that V is an instance of agent, V is the experimenter in Z, and V believes the statement X causes W has the modal force of likely |
| (=> (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 |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
| (=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS)) |
UXExperimentalTerms.kif 4040-4044 | If X are the processes in Y and Z is a member of X, then Z is a process in Y |
| (=> (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 |
| (=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT AutonomousAgent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC))))) |
UXExperimentalTerms.kif 4342-4352 | If X causes Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of process (3) W is an instance of agent (4) W is a treated used in X (5) Z is a process in X (6) W experiences Y (7) W experiences Z (8) the time of existence of Z happens earlier than the time of existence of 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 |
|