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 4071-4075
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 4065-4065 The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimentalVariableProcess 2 Process) UXExperimentalTerms.kif 4067-4067 The number 2 argument of experimental variable (process) is an instance of process
(instance experimentalVariableProcess BinaryPredicate) UXExperimentalTerms.kif 4063-4063 experimental variable (process) is an instance of binary predicate

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 4069-4069 "experimental variable (process)" is the printable form of experimental variable (process) in english language

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 4552-4569
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4084-4089
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 4077-4081
(=>
    (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 4693-4708
(=>
    (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 4046-4057
(=>
    (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 4163-4174

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


(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENT ?PROCESS))
UXExperimentalTerms.kif 4238-4242
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 4092-4097
(=>
    (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 4118-4129
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalVariableProcess ?TEST ?PROCESS))))
UXExperimentalTerms.kif 4627-4632
(=>
    (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 4540-4550
(=>
    (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 4406-4421


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