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
ServiceContract
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
Le nombre 1 argument de
experimentalVariableProcess
est une
instance
de
Experimenting
(
domain
experimentalVariableProcess
2
Process
)
UXExperimentalTerms.kif 3872-3872
Le nombre 2 argument de
experimentalVariableProcess
est une
instance
de
processus
(
instance
experimentalVariableProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3868-3868
experimentalVariableProcess
est une
instance
de
pr�dicat binaire
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
Processus
est une
instance
de
processus
humain
est une
instance
de
AutonomousAgent
Experimenting
est une
instance
de
Experimenting
treatedUser
humain
and
Experimenting
experimentalVariableProcess
Experimenting
and
processus
humain
exp
�rimente
processus
humain
exp
�rimente
processus
exclusiveEvent
Experimenting
and
processus
Experimenting
ERIMENTER
Experimenting
ERIMENTER est une
instance
de
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
croit
l'argument
processus
cause
processus
a la
force
modale
de
Likely
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
Experimenting
est une
instance
de
Experimenting
experimentalVariableProcess
Experimenting
and
processus
experimentalControlProcess
Experimenting
and
processus
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Experimenting
est une
instance
de
Experimenting
experimentalVariableProcess
Experimenting
and
processus
processus
est un
sous
-processus de
Experimenting
(=>
(
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
Processus
est une
instance
de
MultivariateTest
Experimenting
est un
sous
-processus de
processus
Experimenting
est un
sous
-processus de
processus
Experimenting
est une
instance
de
Experimenting
Experimenting
est une
instance
de
Experimenting
processus
est une
instance
de
processus
processus
est une
instance
de
processus
experimentalVariableProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
processus
processus
est une
instance
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est
processus
(=>
(
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
Processus
est une
instance
de
processus
Experimenting
est une
instance
de
Experimenting
processus
est une
instance
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
experimentalVariableProcess
Experimenting
and
processus
entit�
_GROUP
entit�
_GROUP est une
instance
de
collection
processus
est un
membre
de
entit�
_GROUP
controlGroup
entit�
_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
Processus
est une
instance
de
processus
Experimenting
est une
instance
de
Experimenting
processus
est une
instance
de
AutonomousAgent
AutonomousAgent
exp
�rimente
processus
experimentalVariableProcess
Experimenting
and
processus
entit�
_GROUP
entit�
_GROUP est une
instance
de
collection
processus
est un
membre
de
entit�
_GROUP
treatmentGroup
entit�
_GROUP and
Experimenting
consequent
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4043-4047
experimentalTreatmentCollection
collection
and
Experimenting
processus
est un
membre
de
collection
experimentalVariableProcess
Experimenting
and
processus
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
not
(
experimentalVariableProcess
?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 3897-3902
Experimenting
est une
instance
de
Experimenting
experimentalControlProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
(=>
(
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
est une
instance
de
Experimenting
humain
est une
instance
de
humain
experimentalSubject
Experimenting
and
humain
processus
processus
est une
instance
de
processus
humain
exp
�rimente
processus
experimentalControlProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
(=>
(
attribute
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalVariableProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4432-4437
ABTest
est un
attribut
de
objet
processus
processus
est une
instance
de
processus
experimentalVariableProcess
objet
and
processus
(=>
(
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
processus
processus
humain
processus
est une
instance
de
processus
humain
est une
instance
de
AutonomousAgent
treatedUser
humain
and
Experimenting
experimentalVariableProcess
Experimenting
and
processus
humain
exp
�rimente
processus
humain
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
temps
d'existence de
processus
(=>
(
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
est une
instance
de
Experimenting
entit�
_EVENTS
entit�
_EVENTS est une
instance
de
collection
processus
processus
est une
instance
de
processus
experimentalControlProcess
Experimenting
and
processus
experimentalVariableProcess
Experimenting
and
processus
processus
est un
membre
de
entit�
_EVENTS
QualifyingEventsFn
Experimenting
est
entit�
_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