TreeView Knowledge Base Browser - experimentalVariableProcess

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

experimentalVariableProcess

Sigma KEE - experimentalVariableProcess

experimentalVariableProcess

appearance as argument number 1

(documentation experimentalVariableProcess 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 4083-4087
(domain experimentalVariableProcess 1 Experimenting)	UXExperimentalTerms.kif 4077-4077	domain experimentalVariableProcess, 1 and Experimenting
(domain experimentalVariableProcess 2 Process)	UXExperimentalTerms.kif 4079-4079	domain experimentalVariableProcess, 2 and Process
(instance experimentalVariableProcess BinaryPredicate)	UXExperimentalTerms.kif 4075-4075	instance experimentalVariableProcess and BinaryPredicate

appearance as argument number 2

(format ChineseLanguage experimentalVariableProcess "%2 在 %1 的 process ")	domainEnglishFormat.kif 3375-3375
(format ChineseTraditionalLanguage experimentalVariableProcess "%2 在 %1 的 process ")	domainEnglishFormat.kif 3374-3374
(format EnglishLanguage experimentalVariableProcess "%2 is a process in %1")	domainEnglishFormat.kif 3373-3373
(termFormat EnglishLanguage experimentalVariableProcess "experimental variable (process)")	UXExperimentalTerms.kif 4081-4081

antecedent

(=> (and (instance ?EVP Process) (instance ?AGENT Agent) (instance ?EXP Experimenting) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (exclusiveEvent ?EXP ?PROC)) (exists (?EXPERIMENTER) (and (instance ?EXPERIMENTER Agent) (experimenter ?EXP ?EXPERIMENTER) (believes ?EXPERIMENTER (modalAttribute (causes ?EVP ?PROC) Likely)))))	UXExperimentalTerms.kif 4561-4578	instance Process and Process instance Human and Agent instance Experimenting and Experimenting treatedUser Human and Experimenting experimentalVariableProcess Experimenting and Process experiencer Process and Human experiencer Process and Human exclusiveEvent Experimenting and Process ExperimentingERIMENTER instance ExperimentingERIMENTER and Agent experimenter Experimenting and ExperimentingERIMENTER believes ExperimentingERIMENTER and modalAttribute causes Process and Process and Likely
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (not (experimentalControlProcess ?EXPERIMENT ?VARIABLE)))	UXExperimentalTerms.kif 4096-4101	instance Experimenting and Experimenting experimentalVariableProcess Experimenting and Process experimentalControlProcess Experimenting and Process
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (subProcess ?VARIABLE ?EXPERIMENT))	UXExperimentalTerms.kif 4089-4093	instance Experimenting and Experimenting experimentalVariableProcess Experimenting and Process subProcess Process and Experimenting
(=> (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 4702-4719	instance Process and MultivariateTest subProcess Experimenting and Process subProcess Experimenting and Process instance Experimenting and Experimenting instance Experimenting and Experimenting instance Process and Process instance Process and Process experimentalVariableProcess Experimenting and Process experimentalVariableProcess Experimenting and Process Process instance Process and Process subProcess Process and Process subProcess Process and Process equal Process and Process
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT Agent) (experiencer ?AGENT Agent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?CONTROL_GROUP) (and (instance ?CONTROL_GROUP Collection) (member ?AGENT ?CONTROL_GROUP) (controlGroup ?CONTROL_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4058-4069	instance Process and Process instance Experimenting and Experimenting instance Process and Agent experiencer Process and Agent experimentalVariableProcess Experimenting and Process entity_GROUP instance entity_GROUP and Collection member Process and entity_GROUP controlGroup entity_GROUP and Experimenting
(=> (and (instance ?VARIABLE Process) (instance ?EXPERIMENT Experimenting) (instance ?AGENT Agent) (experiencer ?AGENT Agent) (experimentalVariableProcess ?EXPERIMENT ?VARIABLE)) (exists (?TREATMENT_GROUP) (and (instance ?TREATMENT_GROUP Collection) (member ?AGENT ?TREATMENT_GROUP) (treatmentGroup ?TREATMENT_GROUP ?EXPERIMENT))))	UXExperimentalTerms.kif 4175-4186	instance Process and Process instance Experimenting and Experimenting instance Process and Agent experiencer Process and Agent experimentalVariableProcess Experimenting and Process entity_GROUP instance entity_GROUP and Collection member Process and entity_GROUP treatmentGroup entity_GROUP and Experimenting

consequent

(=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS))	UXExperimentalTerms.kif 4250-4254	experimentalTreatmentCollection Collection and Experimenting member Process and Collection experimentalVariableProcess Experimenting and Process
(=> (and (instance ?EXPERIMENT Experimenting) (experimentalControlProcess ?EXPERIMENT ?CONTROL)) (not (experimentalVariableProcess ?EXPERIMENT ?CONTROL)))	UXExperimentalTerms.kif 4104-4109	instance Experimenting and Experimenting experimentalControlProcess Experimenting and Process experimentalVariableProcess Experimenting and Process
(=> (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	instance Experimenting and Experimenting instance Human and Human experimentalSubject Experimenting and Human Process instance Process and Process experiencer Process and Human experimentalControlProcess Experimenting and Process experimentalVariableProcess Experimenting and Process
(=> (attribute ?TEST ABTest) (exists (?PROCESS) (and (instance ?PROCESS Process) (experimentalVariableProcess ?TEST ?PROCESS))))	UXExperimentalTerms.kif 4636-4641	attribute Object and ABTest Process instance Process and Process experimentalVariableProcess Object and Process
(=> (exclusiveEvent ?EXP ?PROC) (exists (?EVP ?AGENT) (and (instance ?EVP Process) (instance ?AGENT Agent) (treatedUser ?AGENT ?EXP) (experimentalVariableProcess ?EXP ?EVP) (experiencer ?PROC ?AGENT) (experiencer ?EVP ?AGENT) (earlier (WhenFn ?EVP) (WhenFn ?PROC)))))	UXExperimentalTerms.kif 4549-4559	exclusiveEvent Experimenting and Process Process Human instance Process and Process instance Human and Agent treatedUser Human and Experimenting experimentalVariableProcess Experimenting and Process experiencer Process and Human experiencer Process and Human earlier WhenFn Process and WhenFn Process
(=> (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	instance Experimenting and Experimenting entity_EVENTS instance entity_EVENTS and Collection Process instance Process and Process experimentalControlProcess Experimenting and Process experimentalVariableProcess Experimenting and Process member Process and entity_EVENTS equal QualifyingEventsFn Experimenting and entity_EVENTS

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