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 4020-4023
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 4025-4025 domain experimentalControlProcess, 1 and Experimenting
(domain experimentalControlProcess 2 Process) UXExperimentalTerms.kif 4027-4027 domain experimentalControlProcess, 2 and Process
(instance experimentalControlProcess BinaryPredicate) UXExperimentalTerms.kif 4018-4018 instance experimentalControlProcess and BinaryPredicate

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


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

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 4099-4104
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 4031-4035

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4091-4096
(=>
    (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 4125-4136
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalControlProcess ?TEST ?PROCESS))))
UXExperimentalTerms.kif 4626-4631
(=>
    (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 4412-4427


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