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
-------------------------


s__documentation(s__experimentalVariableProcess__m,s__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
s__domain(s__experimentalVariableProcess__m,1,s__Experimenting)

UXExperimentalTerms.kif 4065-4065
s__domain(s__experimentalVariableProcess__m,2,s__Process)

UXExperimentalTerms.kif 4067-4067
s__instance(s__experimentalVariableProcess__m,s__BinaryPredicate)

UXExperimentalTerms.kif 4063-4063

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


s__format(s__EnglishLanguage,s__experimentalVariableProcess__m,'%2 is a process in %1')

domainEnglishFormat.kif 852-852
s__termFormat(s__EnglishLanguage,s__experimentalVariableProcess__m,'experimental variable (process)')

UXExperimentalTerms.kif 4069-4069

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4552-4569
( ! [V__EXPERIMENT,V__VARIABLE] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (~ s__experimentalControlProcess(V__EXPERIMENT,V__VARIABLE)))
)

UXExperimentalTerms.kif 4084-4089
( ! [V__EXPERIMENT,V__VARIABLE] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   s__subProcess(V__VARIABLE,V__EXPERIMENT))
)

UXExperimentalTerms.kif 4077-4081
( ! [V__TEST,V__EXPERIMENT1,V__EXPERIMENT2,V__VARIABLE1,V__VARIABLE2] :
   ((s__instance(V__TEST,s__MultivariateTest) &
       s__instance(V__EXPERIMENT1,s__Experimenting) &
       s__instance(V__EXPERIMENT2,s__Experimenting) &
       s__instance(V__VARIABLE1,s__Process) &
       s__instance(V__VARIABLE2,s__Process) &
       s__experimentalVariableProcess(V__EXPERIMENT1,V__VARIABLE1)
     &
     s__experimentalVariableProcess(V__EXPERIMENT2,V__VARIABLE2))
=>
(? [V__PROCESS] :
   (s__instance(V__PROCESS,s__Process) &
     s__subProcess(V__VARIABLE1,V__PROCESS)
   &
   s__subProcess(V__VARIABLE2,V__PROCESS)
&
(~ (V__VARIABLE1 = V__VARIABLE2)))))
)

UXExperimentalTerms.kif 4693-4708
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__Agent) &
       s__experiencer(V__AGENT,s__Agent) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (? [V__CONTROL_GROUP] :
     (s__instance(V__CONTROL_GROUP,s__Collection) &
       s__member(V__AGENT,V__CONTROL_GROUP)
     &
     s__controlGroup(V__CONTROL_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4046-4057
( ! [V__VARIABLE,V__EXPERIMENT,V__AGENT] :
   ((s__instance(V__VARIABLE,s__Process) &
       s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__AGENT,s__Agent) &
       s__experiencer(V__AGENT,s__Agent) &
       s__experimentalVariableProcess(V__EXPERIMENT,V__VARIABLE))
   =>
   (? [V__TREATMENT_GROUP] :
     (s__instance(V__TREATMENT_GROUP,s__Collection) &
       s__member(V__AGENT,V__TREATMENT_GROUP)
     &
     s__treatmentGroup(V__TREATMENT_GROUP,V__EXPERIMENT))))
)

UXExperimentalTerms.kif 4163-4174

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


( ! [V__COLLECTION,V__EXPERIMENTING,V__PROCESS,V__EXPERIMENT] :
   ((s__experimentalTreatmentCollection(V__COLLECTION,V__EXPERIMENTING)
     &
     s__member(V__PROCESS,V__COLLECTION))
=>
s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS))
)

UXExperimentalTerms.kif 4238-4242
( ! [V__EXPERIMENT,V__CONTROL] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__experimentalControlProcess(V__EXPERIMENT,V__CONTROL))
   =>
   (~ s__experimentalVariableProcess(V__EXPERIMENT,V__CONTROL)))
)

UXExperimentalTerms.kif 4092-4097
( ! [V__EXPERIMENT,V__SUBJECT] :
   ((s__instance(V__EXPERIMENT,s__Experimenting) &
       s__instance(V__SUBJECT,s__Human) &
       s__experimentalSubject(V__EXPERIMENT,V__SUBJECT))
   =>
   (? [V__PROCESS] :
     (s__instance(V__PROCESS,s__Process) &
       s__experiencer(V__PROCESS,V__SUBJECT)
     &
     (s__experimentalControlProcess(V__EXPERIMENT,V__PROCESS)
     |
     s__experimentalVariableProcess(V__EXPERIMENT,V__PROCESS)))))
)

UXExperimentalTerms.kif 4118-4129
( ! [V__TEST] :
   (s__attribute(V__TEST,s__ABTest) =>
     (? [V__PROCESS] :
       (s__instance(V__PROCESS,s__Process) &
         s__experimentalVariableProcess(V__TEST,V__PROCESS))))
)

UXExperimentalTerms.kif 4627-4632
( ! [V__EXP,V__PROC] :
   (s__exclusiveEvent(V__EXP,V__PROC)
   =>
   (? [V__EVP,V__AGENT] :
     (s__instance(V__EVP,s__Process) &
       s__instance(V__AGENT,s__Agent) &
       s__treatedUser(V__AGENT,V__EXP)
     &
     s__experimentalVariableProcess(V__EXP,V__EVP)
   &
   s__experiencer(V__PROC,V__AGENT)
&
s__experiencer(V__EVP,V__AGENT)
&
s__earlier(s__WhenFn(V__EVP)
,s__WhenFn(V__PROC)))))
)

UXExperimentalTerms.kif 4540-4550
( ! [V__EXPERIMENT] :
   (s__instance(V__EXPERIMENT,s__Experimenting) =>
     (? [V__QUALIFYING_EVENTS] :
       (s__instance(V__QUALIFYING_EVENTS,s__Collection) &
         (! [V__EVENT] :
           ((s__instance(V__EVENT,s__Process) &
               (s__experimentalControlProcess(V__EXPERIMENT,V__EVENT)
               |
               s__experimentalVariableProcess(V__EXPERIMENT,V__EVENT)))
         =>
         s__member(V__EVENT,V__QUALIFYING_EVENTS)))
   &
   (s__QualifyingEventsFn(V__EXPERIMENT)
   = V__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