Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  experimentalVariableProcess

 Sigma KEE - experimentalVariableProcess
experimentalVariableProcess

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


(instance experimentalVariableProcess BinaryPredicate) UXExperimentalTerms.kif 3865-3865 experimental variable (process) is an instance of binary predicate
(domain experimentalVariableProcess 1 Experimenting) UXExperimentalTerms.kif 3867-3867 The number 1 argument of experimental variable (process) is an instance of experimenting
(domain experimentalVariableProcess 2 Process) UXExperimentalTerms.kif 3869-3869 The number 2 argument of experimental variable (process) is an instance of process
(documentation experimentalVariableProcess EnglishLanguage "(experimentalVariableProcess ?EXPERIMENT ?PROC) means that an AutonomousAgent 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 3873-3877 The number 2 argument of experimental variable (process) is an instance of process

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


(termFormat EnglishLanguage experimentalVariableProcess "experimental variable (process)") UXExperimentalTerms.kif 3871-3871
(format EnglishLanguage experimentalVariableProcess "%2 is a process in %1") domainEnglishFormat.kif 3366-3366
(format ChineseTraditionalLanguage experimentalVariableProcess "%2 在 %1 的 process ") domainEnglishFormat.kif 3367-3367
(format ChineseLanguage experimentalVariableProcess "%2 在 %1 的 process ") domainEnglishFormat.kif 3368-3368

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


(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?CONTROL_GROUP)
        (and
            (instance ?CONTROL_GROUP Collection)
            (member ?AGENT ?CONTROL_GROUP)
            (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3848-3859 If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?CONTROL_GROUP such that ?CONTROL_GROUP is an instance of collection, Z is a member of ?CONTROL_GROUP, and ?CONTROL_GROUP is the control group in Y
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (subProcess ?VARIABLE ?EXPERIMENT))		 UXExperimentalTerms.kif 3879-3883 If X is an instance of experimenting and Y is a process in X, then Y is a subprocess of X
(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (not
        (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))		 UXExperimentalTerms.kif 3886-3891 If X is an instance of experimenting and Y is a process in X, then the control in experiment X is Y
(=>
    (and
        (instance ?VARIABLE Process)
        (instance ?EXPERIMENT Experimenting)
        (instance ?AGENT AutonomousAgent)
        (experiencer ?AGENT AutonomousAgent)
        (experimentalVariableProcess ?EXPERIMENT ?VARIABLE))
    (exists (?TREATMENT_GROUP)
        (and
            (instance ?TREATMENT_GROUP Collection)
            (member ?AGENT ?TREATMENT_GROUP)
            (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))		 UXExperimentalTerms.kif 3965-3976 If X is an instance of process, Y is an instance of experimenting, Z is an instance of agent, agent experiences Z, and X is a process in Y, then there exists ?TREATMENT_GROUP such that ?TREATMENT_GROUP is an instance of collection, Z is a member of ?TREATMENT_GROUP, and ?TREATMENT_GROUP is the treatment group in Y
(=>
    (and
        (instance ?EVP Process)
        (instance ?AGENT AutonomousAgent)
        (instance ?EXP Experimenting)
        (treatedUser ?AGENT ?EXP)
        (experimentalVariableProcess ?EXP ?EVP)
        (experiencer ?PROC ?AGENT)
        (experiencer ?EVP ?AGENT)
        (exclusiveEvent ?EXP ?PROC))
    (exists (?EXPERIMENTER)
        (and
            (instance ?EXPERIMENTER AutonomousAgent)
            (experimenter ?EXP ?EXPERIMENTER)
            (believes ?EXPERIMENTER
                (modalAttribute
                    (causes ?EVP ?PROC) Likely)))))		 UXExperimentalTerms.kif 4354-4371 If All of the following hold: (1) X is an instance of process (2) Y is an instance of agent (3) Z is an instance of experimenting (4) Y is a treated used in Z (5) X is a process in Z (6) Y experiences W (7) Y experiences X (8) Z causes W, then there exists V such that V is an instance of agent, V is the experimenter in Z, and V believes the statement X causes W has the modal force of likely
(=>
    (and
        (instance ?TEST MultivariateTest)
        (subProcess ?EXPERIMENT1 ?TEST)
        (subProcess ?EXPERIMENT2 ?TEST)
        (instance ?EXPERIMENT1 Experimenting)
        (instance ?EXPERIMENT2 Experimenting)
        (instance ?VARIABLE1 Process)
        (instance ?VARIABLE2 Process)
        (experimentalVariableProcess ?EXPERIMENT1 ?VARIABLE1)
        (experimentalVariableProcess ?EXPERIMENT2 ?VARIABLE2))
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (subProcess ?VARIABLE1 ?PROCESS)
            (subProcess ?VARIABLE2 ?PROCESS)
            (not
                (equal ?VARIABLE1 ?VARIABLE2)))))		 UXExperimentalTerms.kif 4498-4515 If All of the following hold: (1) X is an instance of multivariate test (2) Y is a subprocess of X (3) Z is a subprocess of X (4) Y is an instance of experimenting (5) Z is an instance of experimenting (6) W is an instance of process (7) V is an instance of process (8) W is a process in Y (9) V is a process in Z, then there exists U such that U is an instance of process, W is a subprocess of U, V is a subprocess of U, equal W, and V

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


(=>
    (and
        (instance ?EXPERIMENT Experimenting)
        (experimentalControlProcess ?EXPERIMENT ?CONTROL))
    (not
        (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))		 UXExperimentalTerms.kif 3894-3899 If X is an instance of experimenting and the control in experiment X is Y, then Y is a process in X
(=>
    (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 3920-3931 If X is an instance of experimenting, Y is an instance of human, and Y is a subject in X, then there exists Z such that Z is an instance of process, Y experiences Z, and the control in experiment X is Z or Z is a process in X
(=>
    (and
        (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING)
        (member ?PROCESS ?COLLECTION))
    (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))		 UXExperimentalTerms.kif 4040-4044 If X are the processes in Y and Z is a member of X, then Z is a process in Y
(=>
    (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 4205-4220 If X is an instance of experimenting, then there exists ?QUALIFYING_EVENTS such that ?QUALIFYING_EVENTS is an instance of collection, Z Z is an instance of process, the control in experiment X is Z or Z is a process in XZ is a member of ?QUALIFYING_EVENTS, equal events in X, and ?QUALIFYING_EVENTS
(=>
    (exclusiveEvent ?EXP ?PROC)
    (exists (?EVP ?AGENT)
        (and
            (instance ?EVP Process)
            (instance ?AGENT AutonomousAgent)
            (treatedUser ?AGENT ?EXP)
            (experimentalVariableProcess ?EXP ?EVP)
            (experiencer ?PROC ?AGENT)
            (experiencer ?EVP ?AGENT)
            (earlier
                (WhenFn ?EVP)
                (WhenFn ?PROC)))))		 UXExperimentalTerms.kif 4342-4352 If X causes Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of process (3) W is an instance of agent (4) W is a treated used in X (5) Z is a process in X (6) W experiences Y (7) W experiences Z (8) the time of existence of Z happens earlier than the time of existence of Y
(=>
    (attribute ?TEST ABTest)
    (exists (?PROCESS)
        (and
            (instance ?PROCESS Process)
            (experimentalVariableProcess ?TEST ?PROCESS))))		 UXExperimentalTerms.kif 4429-4434 If A/B test is an attribute of X, then there exists Y such that Y is an instance of process and Y is a process in X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners