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
experimentalControlProcess
Sigma KEE - experimentalControlProcess
experimentalControlProcess
appearance as argument number 1
(
documentation
experimentalControlProcess
EnglishLanguage
"(experimentalControlProcess ?EXPERIMENT ?PROC) means that the experiencing of the
Process
?PROC is the control in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from an
experimentalVariableProcess
experienced by the experimental group in the experiment.")
UXExperimentalTerms.kif 3818-3821
(
domain
experimentalControlProcess
1
Experimenting
)
UXExperimentalTerms.kif 3823-3823
The number 1 argument of
experimental control (process)
is an
instance
of
experimenting
(
domain
experimentalControlProcess
2
Process
)
UXExperimentalTerms.kif 3825-3825
The number 2 argument of
experimental control (process)
is an
instance
of
process
(
instance
experimentalControlProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3816-3816
experimental control (process)
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
experimentalControlProcess
"control 在实验 %1 是 %2 ")
domainEnglishFormat.kif 3358-3358
(
format
ChineseTraditionalLanguage
experimentalControlProcess
"control 在實驗 %1 是 %2 ")
domainEnglishFormat.kif 3357-3357
(
format
EnglishLanguage
experimentalControlProcess
"the control in experiment %1 is %2")
domainEnglishFormat.kif 3356-3356
(
termFormat
EnglishLanguage
experimentalControlProcess
"experimental control (process)")
UXExperimentalTerms.kif 3827-3827
antecedent
(=>
(
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
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
If
an experimenting
is an
instance
of
experimenting
and the
control
in experiment
the experimenting
is
a process
,
then
the process
is a
subprocess
of
the experimenting
consequent
(=>
(
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
)
(
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
(=>
(
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
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
If
an experimenting
the
attribute
A/B test
,
then there exists
a process
such that
the process
is an
instance
of
process
and the
control
in experiment
the experimenting
is
the process
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
experimentalControlProcess