| 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 4125-4127 | |
| (domain experimentalSubject 1 Experimenting) | UXExperimentalTerms.kif 4119-4119 | |
| (domain experimentalSubject 2 Human) | UXExperimentalTerms.kif 4121-4121 | |
| (instance experimentalSubject CaseRole) | UXExperimentalTerms.kif 4117-4117 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage experimentalSubject "%2 是在 %1 的 subject ") | domainEnglishFormat.kif 3366-3366 | |
| (format ChineseTraditionalLanguage experimentalSubject "%2 是在 %1 的 subject ") | domainEnglishFormat.kif 3365-3365 | |
| (format EnglishLanguage experimentalSubject "%2 is a subject in %1") | domainEnglishFormat.kif 3364-3364 | |
| (termFormat EnglishLanguage experimentalSubject "experimental subject") | UXExperimentalTerms.kif 4123-4123 |
| 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 4129-4140 | |
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 ?CLASS1) (subclass ?CLASS1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?CLASS1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2 ?CLASS2 ?TESTCOL2) (and (instance ?EXPERIMENT2 ?CLASS2) (member ?EXPERIMENT2 ?TESTCOL2) (subclass ?CLASS2 Experimenting) (capability ?CLASS2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4672-4685 |
| consequent |
|
|
| (=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 ?CLASS1) (subclass ?CLASS1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?CLASS1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2 ?CLASS2 ?TESTCOL2) (and (instance ?EXPERIMENT2 ?CLASS2) (member ?EXPERIMENT2 ?TESTCOL2) (subclass ?CLASS2 Experimenting) (capability ?CLASS2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4672-4685 | |
| (=> (qualifiedExperiment ?EXPERIMENT ?VISITOR) (and (instance ?EXPERIMENT ?CLASS) (capability ?CLASS experimentalSubject ?VISITOR))) |
UXExperimentalTerms.kif 4267-4271 | |
| (=> (treatedUser ?VISITOR ?EXPERIMENT) (experimentalSubject ?VISITOR ?EXPERIMENT)) |
UXExperimentalTerms.kif 4211-4213 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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