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 and
試驗
(
domain
experimentalVariableProcess
2
Process
)
UXExperimentalTerms.kif 3872-3872
域
experimentalVariableProcess
, 2 and
Process
(
instance
experimentalVariableProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3868-3868
例
experimentalVariableProcess
and
BinaryPredicate
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
例
Process
and
Process
例
Human
and
AutonomousAgent
例
試驗
and
試驗
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
試驗
causes
Process
試驗
ERIMENTER
例
試驗
ERIMENTER and
AutonomousAgent
試驗
ERIMENTER 是在
試驗
的
experimenter
相信
試驗
ERIMENTER and
模態屬性
原因
Process
and
Process
and
容易
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
例
試驗
and
試驗
Process
在
試驗
的
process
control
在實驗
試驗
是
Process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
例
試驗
and
試驗
Process
在
試驗
的
process
子過程
Process
and
試驗
(=>
(
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
例
Process
and
MultivariateTest
子過程
試驗
and
Process
子過程
試驗
and
Process
例
試驗
and
試驗
例
試驗
and
試驗
例
Process
and
Process
例
Process
and
Process
Process
在
試驗
的
process
Process
在
試驗
的
process
Process
例
Process
and
Process
子過程
Process
and
Process
子過程
Process
and
Process
等於
Process
and
Process
(=>
(
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
例
Process
and
Process
例
試驗
and
試驗
例
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
Process
在
試驗
的
process
entity
_GROUP
例
entity
_GROUP and
Collection
會員
Process
and
entity
_GROUP
entity
_GROUP 是在
試驗
的
control
group
(=>
(
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
例
Process
and
Process
例
試驗
and
試驗
例
Process
and
AutonomousAgent
體驗者
Process
and
AutonomousAgent
Process
在
試驗
的
process
entity
_GROUP
例
entity
_GROUP and
Collection
會員
Process
and
entity
_GROUP
entity
_GROUP 是
treatment
group
在
試驗
consequent
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4043-4047
Collection
是在
試驗
的
processes
會員
Process
and
Collection
Process
在
試驗
的
process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
not
(
experimentalVariableProcess
?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 3897-3902
例
試驗
and
試驗
control
在實驗
試驗
是
Process
Process
在
試驗
的
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
例
試驗
and
試驗
例
Human
and
Human
Human
是在
試驗
的
subject
Process
例
Process
and
Process
體驗者
Process
and
Human
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
(=>
(
attribute
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalVariableProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4432-4437
attribute
Object
and
ABTest
Process
例
Process
and
Process
Process
在
Object
的
process
(=>
(
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
試驗
causes
Process
Process
Human
例
Process
and
Process
例
Human
and
AutonomousAgent
Human
是個
treated
used
在
試驗
Process
在
試驗
的
process
體驗者
Process
and
Human
體驗者
Process
and
Human
早期
何時
Process
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
例
試驗
and
試驗
entity
_EVENTS
例
entity
_EVENTS and
Collection
Process
例
Process
and
Process
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
會員
Process
and
entity
_EVENTS
等於
events
在
試驗
and
entity
_EVENTS
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