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 引数は
Experimenting
の
instance
では %n
(
domain
experimentalControlProcess
2
Process
)
UXExperimentalTerms.kif 3825-3825
experimentalControlProcess
の数値 2 引数は
工程
の
instance
では %n
(
instance
experimentalControlProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3816-3816
experimentalControlProcess
は
2進述語
の
instance
では %n
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
は
Experimenting
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Experimenting
は
Experimenting
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
工程
は
Experimenting
% の
subprocess
では %n
consequent
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
Experimenting
は
Experimenting
の
instance
では %n
experimentalVariableProcess
Experimenting
and
工程
experimentalControlProcess
Experimenting
and
工程
(=>
(
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
は
Experimenting
の
instance
では %n
人[人間]
は
人[人間]
の
instance
では %n
experimentalSubject
Experimenting
and
人[人間]
工程
工程
は
工程
の
instance
では %n
人[人間]
が
工程
を
experience
s %n{ない}
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
(=>
(
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
は
Experimenting
の
instance
では %n
エンティティー
_EVENTS
エンティティー
_EVENTS は
コレクション
の
instance
では %n
工程
工程
は
工程
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
工程
は
エンティティー
_EVENTS の
member
では %n
QualifyingEventsFn
Experimenting
は
エンティティー
_EVENTS と
equal
では %n
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
には
attribute
ABTest
%n{ない}
工程
工程
は
工程
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
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