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
Die Zahl 1 Argument von
experimentalVariableProcess
ist ein
fall
von
Experimenting
%n{nicht}
(
domain
experimentalVariableProcess
2
Process
)
UXExperimentalTerms.kif 3872-3872
Die Zahl 2 Argument von
experimentalVariableProcess
ist ein
fall
von
Process
%n{nicht}
(
instance
experimentalVariableProcess
BinaryPredicate
)
UXExperimentalTerms.kif 3868-3868
experimentalVariableProcess
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
Process
ist ein
fall
von
Process
%n{nicht} und
Human
ist ein
fall
von
AutonomousAgent
%n{nicht} und
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
treatedUser
** Human
and
** Experimenting
und
experimentalVariableProcess
** Experimenting
and
** Process
und
** Human
erfaehrt
** Process
%n{nicht} und
** Human
erfaehrt
** Process
%n{nicht} und
exclusiveEvent
** Experimenting
and
** ** Process
,
dann es gibt
** Experimenting
ERIMENTER um
** Experimenting
ERIMENTER ist ein
fall
von
AutonomousAgent
%n{nicht} und
experimenter
** Experimenting
and
** Experimenting
ERIMENTER und
** Experimenting
ERIMENTER glaubt %n{nicht}, dass die Aussage
** Process
verursacht
** ** Process
%n{nicht} hat die modale Kraft von
Likely
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
not
(
experimentalControlProcess
?EXPERIMENT ?VARIABLE)))
UXExperimentalTerms.kif 3889-3894
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
experimentalVariableProcess
** Experimenting
and
Process
,
dann
experimentalControlProcess
** Experimenting
and
** Process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
experimentalVariableProcess
** Experimenting
and
Process
,
dann
** Process
ist ein
subProzess
von
** 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
Wenn
Process
ist ein
fall
von
MultivariateTest
%n{nicht} und
Experimenting
ist ein
subProzess
von
** Process
und
** Experimenting
ist ein
subProzess
von
** Process
und
** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
** ** Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
** Process
ist ein
fall
von
Process
%n{nicht} und
** Process
ist ein
fall
von
Process
%n{nicht} und
experimentalVariableProcess
** Experimenting
and
** ** Process
und
experimentalVariableProcess
** ** Experimenting
and
** ** Process
,
dann es gibt
** Process
um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** ** Process
und
** ** Process
ist ein
subProzess
von
** ** Process
und
** ** Process
ist gleich
** ** Process
nicht
(=>
(
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
Wenn
Process
ist ein
fall
von
Process
%n{nicht} und
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
** Process
ist ein
fall
von
AutonomousAgent
%n{nicht} und
AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
experimentalVariableProcess
** Experimenting
and
** Process
,
dann es gibt
entity
_GROUP um
** entity
_GROUP ist ein
fall
von
Collection
%n{nicht} und
** ** Process
ist ein
Mitglied
von
** entity
_GROUP %n{nicht} und
controlGroup
** entity
_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
Wenn
Process
ist ein
fall
von
Process
%n{nicht} und
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
** Process
ist ein
fall
von
AutonomousAgent
%n{nicht} und
AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
experimentalVariableProcess
** Experimenting
and
** Process
,
dann es gibt
entity
_GROUP um
** entity
_GROUP ist ein
fall
von
Collection
%n{nicht} und
** ** Process
ist ein
Mitglied
von
** entity
_GROUP %n{nicht} und
treatmentGroup
** entity
_GROUP and
** Experimenting
consequent
(=>
(
and
(
experimentalTreatmentCollection
?COLLECTION ?EXPERIMENTING)
(
member
?PROCESS ?COLLECTION))
(
experimentalVariableProcess
?EXPERIMENTING ?PROCESS))
UXExperimentalTerms.kif 4043-4047
Wenn
experimentalTreatmentCollection
Collection
and
Experimenting
und
Process
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
experimentalVariableProcess
** Experimenting
and
** Process
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
not
(
experimentalVariableProcess
?EXPERIMENT ?CONTROL)))
UXExperimentalTerms.kif 3897-3902
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
experimentalControlProcess
** Experimenting
and
Process
,
dann
experimentalVariableProcess
** Experimenting
and
** 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
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht} und
Human
ist ein
fall
von
Human
%n{nicht} und
experimentalSubject
** Experimenting
and
** Human
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Process
%n{nicht} und
** Human
erfaehrt
** Process
%n{nicht} und
experimentalControlProcess
** Experimenting
and
** Process
oder
experimentalVariableProcess
** Experimenting
and
** Process
(=>
(
attribute
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalVariableProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4432-4437
Wenn
ABTest
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Process
%n{nicht} und
experimentalVariableProcess
** Object
and
** 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
Wenn
exclusiveEvent
Experimenting
and
Process
,
dann es gibt
** Process
und
Human
um
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** Human
ist ein
fall
von
AutonomousAgent
%n{nicht} und
treatedUser
** Human
and
** Experimenting
und
experimentalVariableProcess
** Experimenting
and
** ** Process
und
** Human
erfaehrt
** Process
%n{nicht} und
** Human
erfaehrt
** ** Process
%n{nicht} und die
zeit
des Bestehens von
** ** Process
geschieht frueh als die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Experimenting
ist ein
fall
von
Experimenting
%n{nicht},
dann es gibt
entity
_EVENTS um
** entity
_EVENTS ist ein
fall
von
Collection
%n{nicht} und fuer alle
Process
wenn
** Process
ist ein
fall
von
Process
%n{nicht} und
experimentalControlProcess
** Experimenting
and
** Process
oder
experimentalVariableProcess
** Experimenting
and
** Process
,
dann
** Process
ist ein
Mitglied
von
** entity
_EVENTS %n{nicht}
und
QualifyingEventsFn
** Experimenting
ist gleich
** entity
_EVENTS %n{nicht}
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