Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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
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 3876-3880
(
domain
experimentalVariableProcess
1
Experimenting
)
UXExperimentalTerms.kif 3870-3870
The number 1 argument of
experimental variable (process)
is an
instance
of
experimenting
(
domain
experimentalVariableProcess
2
Process
)
UXExperimentalTerms.kif 3872-3872
The number 2 argument of
experimental variable (process)
is an
instance
of
process
(
instance
experimentalVariableProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3868-3868
experimental variable (process)
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
experimentalVariableProcess
"%2 在 %1 的 process ")
domainEnglishFormat.kif 3370-3370
(
format
ChineseTraditionalLanguage
experimentalVariableProcess
"%2 在 %1 的 process ")
domainEnglishFormat.kif 3369-3369
(
format
EnglishLanguage
experimentalVariableProcess
"%2 is a process in %1")
domainEnglishFormat.kif 3368-3368
(
termFormat
EnglishLanguage
experimentalVariableProcess
"experimental variable (process)")
UXExperimentalTerms.kif 3874-3874
antecedent
(=>
(
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 4357-4374
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 3889-3894
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 3882-3886
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 4501-4518
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
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 3851-3862
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
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 3968-3979
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 4043-4047
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 3897-3902
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 3923-3934
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 4432-4437
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
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
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 4208-4223
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