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
Die Zahl 1 Argument von
experimentalControlProcess
ist ein
fall
von
Experimenting
%n{nicht}
(
domain
experimentalControlProcess
2
Process
)
UXExperimentalTerms.kif 3825-3825
Die Zahl 2 Argument von
experimentalControlProcess
ist ein
fall
von
Process
%n{nicht}
(
instance
experimentalControlProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3816-3816
experimentalControlProcess
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
experimentalControlProcess
** Experimenting
and
Process
,
dann
experimentalVariableProcess
** Experimenting
and
** Process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
experimentalControlProcess
** Experimenting
and
Process
,
dann
** Process
ist ein
subProzess
von
** Experimenting
consequent
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
experimentalVariableProcess
** Experimenting
and
Process
,
dann
experimentalControlProcess
** 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 3923-3934
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Human
ist ein
fall
von
Human
%n{nicht} und
experimentalSubject
** Experimenting
and
** Human
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Process
%n{nicht} und
** Human
erfaehrt
** Process
%n{nicht} und
experimentalControlProcess
** Experimenting
and
** Process
oder
experimentalVariableProcess
** Experimenting
and
** 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
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht},
dann es gibt
entity
_EVENTS um
** entity
_EVENTS ist ein
fall
von
Collection
%n{nicht} und fuer alle
Process
wenn
** Process
ist ein
fall
von
Process
%n{nicht} und
experimentalControlProcess
** Experimenting
and
** Process
oder
experimentalVariableProcess
** Experimenting
and
** Process
,
dann
** Process
ist ein
Mitglied
von
** entity
_EVENTS %n{nicht}
und
QualifyingEventsFn
** Experimenting
ist gleich
** entity
_EVENTS %n{nicht}
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Wenn
Experimenting
hat ein
attribut
ABTest
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Process
%n{nicht} und
experimentalControlProcess
** Experimenting
and
** 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