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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - experimentalControlProcess
experimentalControlProcess

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


(documentation experimentalControlProcess EnglishLanguage "(experimentalControlProcess ?EXPERIMENT ?PROC) means that the experiencing of the Process ?PROC is the control in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from an experimentalVariableProcess experienced by the experimental group in the experiment.") UXExperimentalTerms.kif 4013-4016
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 4018-4018
(domain experimentalControlProcess 2 Process) UXExperimentalTerms.kif 4020-4020
(instance experimentalControlProcess BinaryPredicate) UXExperimentalTerms.kif 4011-4011

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


(format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2") domainEnglishFormat.kif 849-849
(termFormat EnglishLanguage experimentalControlProcess "experimental control (process)") UXExperimentalTerms.kif 4022-4022

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 4092-4097
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 4024-4028

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4084-4089
(=>
    (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)
            (experimentalControlProcess ?TEST ?PROCESS))))
UXExperimentalTerms.kif 4620-4625
(=>
    (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