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 3919-3921 | |
(domain experimentalSubject 1 Experimenting) | UXExperimentalTerms.kif 3913-3913 | experimentalSubject の数値 1 引数は Experimenting の instance では %n |
(domain experimentalSubject 2 Human) | UXExperimentalTerms.kif 3915-3915 | experimentalSubject の数値 2 引数は 人[人間] の instance では %n |
(instance experimentalSubject CaseRole) | UXExperimentalTerms.kif 3911-3911 | experimentalSubject は 格役割 の instance では %n |
appearance as argument number 2 |
(format ChineseLanguage experimentalSubject "%2 是在 %1 的 subject ") | domainEnglishFormat.kif 3362-3362 | |
(format ChineseTraditionalLanguage experimentalSubject "%2 是在 %1 的 subject ") | domainEnglishFormat.kif 3361-3361 | |
(format EnglishLanguage experimentalSubject "%2 is a subject in %1") | domainEnglishFormat.kif 3360-3360 | |
(termFormat EnglishLanguage experimentalSubject "experimental subject") | UXExperimentalTerms.kif 3917-3917 |
antecedent |
consequent |
(=> (and (orthogonalTests ?TESTCOL1 ?TESTCOL2) (instance ?SUBJECT Human) (instance ?EXPERIMENT1 ?CLASS1) (subclass ?CLASS1 Experimenting) (member ?EXPERIMENT1 ?TESTCOL1) (capability ?CLASS1 experimentalSubject ?SUBJECT)) (exists (?EXPERIMENT2 ?CLASS2) (and (instance ?EXPERIMENT2 ?CLASS2) (member ?EXPERIMENT2 ?TESTCOL2) (subclass ?CLASS2 Experimenting) (capability ?CLASS2 experimentalSubject ?SUBJECT)))) |
UXExperimentalTerms.kif 4467-4480 |
|
(=> (qualifiedExperiment ?EXPERIMENT ?VISITOR) (and (instance ?EXPERIMENT ?CLASS) (capability ?CLASS experimentalSubject ?VISITOR))) |
UXExperimentalTerms.kif 4061-4065 |
|
(=> (treatedUser ?VISITOR ?EXPERIMENT) (experimentalSubject ?VISITOR ?EXPERIMENT)) |
UXExperimentalTerms.kif 4005-4007 |
|