Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
experimentalSubject
Sigma KEE - experimentalSubject
experimentalSubject
appearance as argument number 1
(
documentation
experimentalSubject
EnglishLanguage
"The
CaseRole
(experimentalSubject ?EXPERIMENT ?SUBJECT) means that ?SUBJECT is a
Human
who is the
experiencer
of either and
experimentalControlProcess
or an
experimentalVariableProcess
.")
UXExperimentalTerms.kif 4126-4128
(
domain
experimentalSubject
1
Experimenting
)
UXExperimentalTerms.kif 4120-4120
(
domain
experimentalSubject
2
Human
)
UXExperimentalTerms.kif 4122-4122
(
instance
experimentalSubject
CaseRole
)
UXExperimentalTerms.kif 4118-4118
appearance as argument number 2
(
format
ChineseLanguage
experimentalSubject
"%2 是在 %1 的 subject ")
domainEnglishFormat.kif 3367-3367
(
format
ChineseTraditionalLanguage
experimentalSubject
"%2 是在 %1 的 subject ")
domainEnglishFormat.kif 3366-3366
(
format
EnglishLanguage
experimentalSubject
"%2 is a subject in %1")
domainEnglishFormat.kif 3365-3365
(
termFormat
EnglishLanguage
experimentalSubject
"experimental subject")
UXExperimentalTerms.kif 4124-4124
antecedent
(=>
(
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 4130-4141
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?EXPERIMENT1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2)
(
and
(
instance
?EXPERIMENT2
Experimenting
)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
capability
?EXPERIMENT2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4670-4681
consequent
(=>
(
and
(
orthogonalTests
?TESTCOL1 ?TESTCOL2)
(
instance
?SUBJECT
Human
)
(
instance
?EXPERIMENT1
Experimenting
)
(
member
?EXPERIMENT1 ?TESTCOL1)
(
capability
?EXPERIMENT1
experimentalSubject
?SUBJECT))
(
exists
(?EXPERIMENT2)
(
and
(
instance
?EXPERIMENT2
Experimenting
)
(
member
?EXPERIMENT2 ?TESTCOL2)
(
capability
?EXPERIMENT2
experimentalSubject
?SUBJECT))))
UXExperimentalTerms.kif 4670-4681
(=>
(
qualifiedExperiment
?EXPERIMENT ?VISITOR)
(
capability
?EXPERIMENT
experimentalSubject
?VISITOR))
UXExperimentalTerms.kif 4268-4270
(=>
(
treatedUser
?VISITOR ?EXPERIMENT)
(
experimentalSubject
?VISITOR ?EXPERIMENT))
UXExperimentalTerms.kif 4212-4214
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