| 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 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