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 4025-4028
(domain experimentalControlProcess 1 Experimenting) UXExperimentalTerms.kif 4030-4030
(domain experimentalControlProcess 2 Process) UXExperimentalTerms.kif 4032-4032
(instance experimentalControlProcess BinaryPredicate) UXExperimentalTerms.kif 4023-4023

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


(format ChineseLanguage experimentalControlProcess "control 在实验 %1 是 %2 ") domainEnglishFormat.kif 3363-3363
(format ChineseTraditionalLanguage experimentalControlProcess "control 在實驗 %1 是 %2 ") domainEnglishFormat.kif 3362-3362
(format EnglishLanguage experimentalControlProcess "the control in experiment %1 is %2") domainEnglishFormat.kif 3361-3361
(termFormat EnglishLanguage experimentalControlProcess "experimental control (process)") UXExperimentalTerms.kif 4034-4034

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))		 UXExperimentalTerms.kif 4104-4109
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (subProcess ?CONTROL ?EXPERIMENT))		 UXExperimentalTerms.kif 4036-4040

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))		 UXExperimentalTerms.kif 4096-4101
(=>
    (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 4130-4141
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalControlProcess ?TEST ?PROCESS))))		 UXExperimentalTerms.kif 4629-4634
(=>
    (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 4415-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