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 |
![]() |
![]() |