Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - experimentalVariableProcess
experimentalVariableProcess

appearance as argument number 1
-------------------------


(documentation experimentalVariableProcess EnglishLanguage "(experimentalVariableProcess ?EXPERIMENT ?PROC) means that an Agent 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 4072-4076
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 4066-4066
(domain experimentalVariableProcess 2 Process) UXExperimentalTerms.kif 4068-4068
(instance experimentalVariableProcess BinaryPredicate) UXExperimentalTerms.kif 4064-4064

appearance as argument number 2
-------------------------


(format EnglishLanguage experimentalVariableProcess "%2 is a process in %1") domainEnglishFormat.kif 852-852
(termFormat EnglishLanguage experimentalVariableProcess "experimental variable (process)") UXExperimentalTerms.kif 4070-4070

antecedent
-------------------------


(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT Agent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER Agent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))
UXExperimentalTerms.kif 4553-4570
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4085-4090
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 4078-4082
(=>
    (and
        (instance ?TEST MultivariateTest)
        (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 4694-4709
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 4047-4058
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT Agent)
        (experiencer ?AGENT Agent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 4164-4175

consequent
-------------------------


(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENT ?PROCESS))
UXExperimentalTerms.kif 4239-4243
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 4093-4098
(=>
    (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 4119-4130
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalVariableProcess ?TEST ?PROCESS))))
UXExperimentalTerms.kif 4628-4633
(=>
    (exclusiveEvent ?EXP ?PROC)
    (exists (?EVP ?AGENT)
        (and
            (instance ?EVP Process)
            (instance ?AGENT Agent)
            (treatedUser ?AGENT ?EXP)
            (experimentalVariableProcess ?EXP ?EVP)
            (experiencer ?PROC ?AGENT)
            (experiencer ?EVP ?AGENT)
            (earlier
                (WhenFn ?EVP)
                (WhenFn ?PROC)))))
UXExperimentalTerms.kif 4541-4551
(=>
    (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 4407-4422


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners