| appearance as argument number 1 |
|
| (documentation experimentalVariableProcess EnglishLanguage "(experimentalVariableProcess ?EXPERIMENT ?PROC) means that an AutonomousAgent being the experiencer of the Process ?PROC is the experimental independent variable in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from the experimentalControlProcess experienced by the control group in the experiment") | UXExperimentalTerms.kif 3876-3880 | |
| (domain experimentalVariableProcess 1 Experimenting) | UXExperimentalTerms.kif 3870-3870 | |
| (domain experimentalVariableProcess 2 Process) | UXExperimentalTerms.kif 3872-3872 | |
| (instance experimentalVariableProcess BinaryPredicate) | UXExperimentalTerms.kif 3868-3868 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage experimentalVariableProcess "%2 在 %1 的 process ") | domainEnglishFormat.kif 3368-3368 | |
| (format ChineseTraditionalLanguage experimentalVariableProcess "%2 在 %1 的 process ") | domainEnglishFormat.kif 3367-3367 | |
| (format EnglishLanguage experimentalVariableProcess "%2 is a process in %1") | domainEnglishFormat.kif 3366-3366 | |
| (termFormat EnglishLanguage experimentalVariableProcess "experimental variable (process)") | UXExperimentalTerms.kif 3874-3874 |
| antecedent |
|
|
| (=> (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 4357-4374 | |
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE))) |
UXExperimentalTerms.kif 3889-3894 | |
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (subProcess ?VARIABLE ?EXPERIMENT)) |
UXExperimentalTerms.kif 3882-3886 | |
| (=> (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 4501-4518 | |
| (=> (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 3851-3862 | |
| (=> (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 3968-3979 |
| consequent |
|
|
| (=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS)) |
UXExperimentalTerms.kif 4043-4047 | |
| (=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL))) |
UXExperimentalTerms.kif 3897-3902 | |
| (=> (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 3923-3934 | |
| (=> (attribute ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalVariableProcess ?TEST ?PROCESS)))) |
UXExperimentalTerms.kif 4432-4437 | |
| (=> (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 4345-4355 | |
| (=> (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 4208-4223 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners