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
Il numero 1 argomenti di
experimentalControlProcess
è un
istanza
di
Experimenting
(
domain
experimentalControlProcess
2
Process
)
UXExperimentalTerms.kif 3825-3825
Il numero 2 argomenti di
experimentalControlProcess
è un
istanza
di
Processo
(
instance
experimentalControlProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3816-3816
experimentalControlProcess
è un'
istanza
di
PredicatoBinario
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
Experimenting
è un'
istanza
di
Experimenting
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Experimenting
è un'
istanza
di
Experimenting
experimentalControlProcess
Experimenting
and
Processo
Processo
è un
sottoprocesso
di
Experimenting
consequent
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
Experimenting
è un'
istanza
di
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
experimentalControlProcess
Experimenting
and
Processo
(=>
(
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
Experimenting
è un'
istanza
di
Experimenting
Umano
è un'
istanza
di
Umano
experimentalSubject
Experimenting
and
Umano
Processo
Processo
è un'
istanza
di
Processo
Umano
esperisce
s
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
(=>
(
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
Experimenting
è un'
istanza
di
Experimenting
Entit�
_EVENTS
Entit�
_EVENTS è un'
istanza
di
InsiemeConcreto
Processo
Processo
è un'
istanza
di
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
Processo
è un
membro
di
Entit�
_EVENTS
QualifyingEventsFn
Experimenting
is
uguale
a
Entit�
_EVENTS
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
ha un
attributo
ABTest
Processo
Processo
è un'
istanza
di
Processo
experimentalControlProcess
Experimenting
and
Processo
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