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

Formal Language: 



KB Term:  Term intersection
English Word: 

  experimentalControlProcess

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 3818-3821
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 3823-3823 The number 1 argument of experimental control (process) is an instance of experimenting
(domain experimentalControlProcess 2 Process) UXExperimentalTerms.kif 3825-3825 The number 2 argument of experimental control (process) is an instance of process
(instance experimentalControlProcess BinaryPredicate) UXExperimentalTerms.kif 3816-3816 experimental control (process) is an instance of binary predicate

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


(format ChineseLanguage experimentalControlProcess "control 在实验 %1 是 %2 ") domainEnglishFormat.kif 3358-3358
(format ChineseTraditionalLanguage experimentalControlProcess "control 在實驗 %1 是 %2 ") domainEnglishFormat.kif 3357-3357
(format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2") domainEnglishFormat.kif 3356-3356
(termFormat EnglishLanguage experimentalControlProcess "experimental control (process)") UXExperimentalTerms.kif 3827-3827

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 3897-3902
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
(=>
    (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
(=>
    (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
(=>
    (property ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalControlProcess ?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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