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
experimentalControlProcess
的 1 数量 是
试验
的
instance
(
domain
experimentalControlProcess
2
Process
)
UXExperimentalTerms.kif 3825-3825
experimentalControlProcess
的 2 数量 是
过程
的
instance
(
instance
experimentalControlProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3816-3816
experimentalControlProcess
是
二元谓语
的
instance
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
如果
试验
是
试验
的
instance
和
control
在实验
那个 试验
是
过程
,
然后 不
那个 过程
在
那个 试验
的
process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
如果
试验
是
试验
的
instance
和
control
在实验
那个 试验
是
过程
,
然后
那个 过程
%n是
那个 试验
的
subProcess
consequent
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
如果
试验
是
试验
的
instance
和
过程
在
那个 试验
的
process
,
然后 不
control
在实验
那个 试验
是
那个 过程
(=>
(
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
如果
试验
是
试验
的
instance
和
人类
是
人类
的
instance
和
那个 人类
是在
那个 试验
的
subject
,
然后 有存在
过程
这样
那个 过程
是
过程
的
instance
和
那个 人类
经历了
那个 过程
和
control
在实验
那个 试验
是
那个 过程
或
那个 过程
在
那个 试验
的
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
如果
试验
是
试验
的
instance
,
然后 有存在
实体
_EVENTS 这样
那个 实体
_EVENTS 是
群体
的
instance
和 对所有
过程
如果
那个 过程
是
过程
的
instance
和
control
在实验
那个 试验
是
那个 过程
或
那个 过程
在
那个 试验
的
process
,
然后
那个 过程
是
那个 实体
_EVENTS 的
member
和
events
在
那个 试验
equal
那个 实体
_EVENTS
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
如果
试验
有
ABTest
的
attribute
,
然后 有存在
过程
这样
那个 过程
是
过程
的
instance
和
control
在实验
那个 试验
是
那个 过程
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