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
experimentalVariableProcess
Sigma KEE - experimentalVariableProcess
experimentalVariableProcess
appearance as argument number 1
(
documentation
experimentalVariableProcess
EnglishLanguage
"(experimentalVariableProcess ?EXPERIMENT ?PROC) means that an
AutonomousAgent
being the
experiencer
of the
Process
?PROC is the experimental independent variable in the instance of experimenting ?EXPERIMENT, i.e. ?PROC is what is different from the
experimentalControlProcess
experienced by the control group in the experiment")
UXExperimentalTerms.kif 3876-3880
(
domain
experimentalVariableProcess
1
Experimenting
)
UXExperimentalTerms.kif 3870-3870
experimentalVariableProcess
の数値 1 引数は
Experimenting
の
instance
では %n
(
domain
experimentalVariableProcess
2
Process
)
UXExperimentalTerms.kif 3872-3872
experimentalVariableProcess
の数値 2 引数は
工程
の
instance
では %n
(
instance
experimentalVariableProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3868-3868
experimentalVariableProcess
は
2進述語
の
instance
では %n
appearance as argument number 2
(
format
ChineseLanguage
experimentalVariableProcess
"%2 在 %1 的 process ")
domainEnglishFormat.kif 3370-3370
(
format
ChineseTraditionalLanguage
experimentalVariableProcess
"%2 在 %1 的 process ")
domainEnglishFormat.kif 3369-3369
(
format
EnglishLanguage
experimentalVariableProcess
"%2 is a process in %1")
domainEnglishFormat.kif 3368-3368
(
termFormat
EnglishLanguage
experimentalVariableProcess
"experimental variable (process)")
UXExperimentalTerms.kif 3874-3874
antecedent
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
工程
は
工程
の
instance
では %n
人[人間]
は
AutonomousAgent
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
treatedUser
人[人間]
and
Experimenting
experimentalVariableProcess
Experimenting
and
工程
人[人間]
が
工程
を
experience
s %n{ない}
人[人間]
が
工程
を
experience
s %n{ない}
exclusiveEvent
Experimenting
and
工程
Experimenting
ERIMENTER
Experimenting
ERIMENTER は
AutonomousAgent
の
instance
では %n
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER は ステートメント
工程
は
工程
を
cause
s %n{ない} には
Likely
の
modal
force
が ある を
believe
s %n{ない}
(=>
(
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
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Experimenting
は
Experimenting
の
instance
では %n
experimentalVariableProcess
Experimenting
and
工程
工程
は
Experimenting
% の
subprocess
では %n
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
工程
は
MultivariateTest
の
instance
では %n
Experimenting
は
工程
% の
subprocess
では %n
Experimenting
は
工程
% の
subprocess
では %n
Experimenting
は
Experimenting
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
instance
では %n
experimentalVariableProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
工程
工程
は
工程
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
と
equal
では
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?CONTROL_GROUP)
(
and
(
instance
?CONTROL_GROUP
Collection
)
(
member
?AGENT ?CONTROL_GROUP)
(
controlGroup
?CONTROL_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3851-3862
工程
は
工程
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
工程
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
experimentalVariableProcess
Experimenting
and
工程
エンティティー
_GROUP
エンティティー
_GROUP は
コレクション
の
instance
では %n
工程
は
エンティティー
_GROUP の
member
では %n
controlGroup
エンティティー
_GROUP and
Experimenting
(=>
(
and
(
instance
?VARIABLE
Process
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?AGENT
AutonomousAgent
)
(
experiencer
?AGENT
AutonomousAgent
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
exists
(?TREATMENT_GROUP)
(
and
(
instance
?TREATMENT_GROUP
Collection
)
(
member
?AGENT ?TREATMENT_GROUP)
(
treatmentGroup
?TREATMENT_GROUP ?EXPERIMENT))))
UXExperimentalTerms.kif 3968-3979
工程
は
工程
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
工程
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
experimentalVariableProcess
Experimenting
and
工程
エンティティー
_GROUP
エンティティー
_GROUP は
コレクション
の
instance
では %n
工程
は
エンティティー
_GROUP の
member
では %n
treatmentGroup
エンティティー
_GROUP and
Experimenting
consequent
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4043-4047
experimentalTreatmentCollection
コレクション
and
Experimenting
工程
は
コレクション
の
member
では %n
experimentalVariableProcess
Experimenting
and
工程
(=>
(
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
)
(
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
工程
(=>
(
attribute
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalVariableProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4432-4437
ABTest
は
オブジェクト
の
attribute
では %n
工程
工程
は
工程
の
instance
では %n
experimentalVariableProcess
オブジェクト
and
工程
(=>
(
exclusiveEvent
?EXP ?PROC)
(
exists
(?EVP ?AGENT)
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
exclusiveEvent
Experimenting
and
工程
工程
人[人間]
工程
は
工程
の
instance
では %n
人[人間]
は
AutonomousAgent
の
instance
では %n
treatedUser
人[人間]
and
Experimenting
experimentalVariableProcess
Experimenting
and
工程
人[人間]
が
工程
を
experience
s %n{ない}
人[人間]
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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
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