Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
The number 1 argument of
experimental variable (process)
is an
instance
of
experimenting
(
domain
experimentalVariableProcess
2
Process
)
UXExperimentalTerms.kif 4079-4079
The number 2 argument of
experimental variable (process)
is an
instance
of
process
(
instance
experimentalVariableProcess
BinaryPredicate
)
UXExperimentalTerms.kif 4075-4075
experimental variable (process)
is an
instance
of
binary predicate
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
If
a process
is an
instance
of
process
and
a human
is an
instance
of
agent
and
an experimenting
is an
instance
of
experimenting
and
the human
is a
treated
used
in
the experimenting
and
the process
is a
process
in
the experimenting
and
the human
experience
s
another process
and
the human
experience
s
the process
and
the experimenting
causes
the other process
,
then there exists
the experimenting
ERIMENTER such that
the experimenting
ERIMENTER is an
instance
of
agent
and
the experimenting
ERIMENTER is the
experimenter
in
the experimenting
and
the experimenting
ERIMENTER
believe
s the statement
the process
cause
s
the other process
has the
modal
force
of
likely
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 4096-4101
If
an experimenting
is an
instance
of
experimenting
and
a process
is a
process
in
the experimenting
,
then not the
control
in experiment
the experimenting
is
the process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 4089-4093
If
an experimenting
is an
instance
of
experimenting
and
a process
is a
process
in
the experimenting
,
then
the process
is a
subprocess
of
the 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
If
a process
is an
instance
of
multivariate test
and
an experimenting
is a
subprocess
of
the process
and
another experimenting
is a
subprocess
of
the process
and
the experimenting
is an
instance
of
experimenting
and
the other experimenting
is an
instance
of
experimenting
and
another process
is an
instance
of
process
and
a third process
is an
instance
of
process
and
the other process
is a
process
in
the experimenting
and
the third process
is a
process
in
the other experimenting
,
then there exists
a fourth process
such that
the fourth process
is an
instance
of
process
and
the other process
is a
subprocess
of
the fourth process
and
the third process
is a
subprocess
of
the fourth process
and
the other process
is not
equal
to
the third 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
If
a process
is an
instance
of
process
and
an experimenting
is an
instance
of
experimenting
and
another process
is an
instance
of
agent
and
agent
experience
s
the other process
and
the process
is a
process
in
the experimenting
,
then there exists
an entity
_GROUP such that
the entity
_GROUP is an
instance
of
collection
and
the other process
is a
member
of
the entity
_GROUP and
the entity
_GROUP is the
control
group
in
the 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
If
a process
is an
instance
of
process
and
an experimenting
is an
instance
of
experimenting
and
another process
is an
instance
of
agent
and
agent
experience
s
the other process
and
the process
is a
process
in
the experimenting
,
then there exists
an entity
_GROUP such that
the entity
_GROUP is an
instance
of
collection
and
the other process
is a
member
of
the entity
_GROUP and
the entity
_GROUP is the
treatment
group
in
the experimenting
consequent
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4250-4254
If
a collection
are the
processes
in
an experimenting
and
a process
is a
member
of
the collection
,
then
the process
is a
process
in
the experimenting
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
not
(
experimentalVariableProcess
?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 4104-4109
If
an experimenting
is an
instance
of
experimenting
and the
control
in experiment
the experimenting
is
a process
,
then not
the process
is a
process
in
the experimenting
(=>
(
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
If
an experimenting
is an
instance
of
experimenting
and
a human
is an
instance
of
human
and
the human
is a
subject
in
the experimenting
,
then there exists
a process
such that
the process
is an
instance
of
process
and
the human
experience
s
the process
and the
control
in experiment
the experimenting
is
the process
or
the process
is a
process
in
the experimenting
(=>
(
attribute
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalVariableProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4636-4641
If
A/B test
is an
attribute
of
an object
,
then there exists
a process
such that
the process
is an
instance
of
process
and
the process
is a
process
in
the object
(=>
(
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
If
an experimenting
causes
a process
,
then there exist
another process
and
a human
such that
the other process
is an
instance
of
process
and
the human
is an
instance
of
agent
and
the human
is a
treated
used
in
the experimenting
and
the other process
is a
process
in
the experimenting
and
the human
experience
s
the process
and
the human
experience
s
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the 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
If
an experimenting
is an
instance
of
experimenting
,
then there exists
an entity
_EVENTS such that
the entity
_EVENTS is an
instance
of
collection
and for all
a process
if
the process
is an
instance
of
process
and the
control
in experiment
the experimenting
is
the process
or
the process
is a
process
in
the experimenting
,
then
the process
is a
member
of
the entity
_EVENTS
and
events
in
the experimenting
is
equal
to
the 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
