Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| experimentalSubject |
| appearance as argument number 1 |
|
| (instance experimentalSubject CaseRole) | UXExperimentalTerms.kif 3908-3908 | experimental subject is an instance of case role |
| (domain experimentalSubject 1 Experimenting) | UXExperimentalTerms.kif 3910-3910 | The number 1 argument of experimental subject is an instance of experimenting |
| (domain experimentalSubject 2 Human) | UXExperimentalTerms.kif 3912-3912 | The number 2 argument of experimental subject is an instance of human |
| (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 3916-3918 | The number 2 argument of experimental subject is an instance of human |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage experimentalSubject "experimental subject") | UXExperimentalTerms.kif 3914-3914 | |
| (format EnglishLanguage experimentalSubject "%2 is a subject in %1") | domainEnglishFormat.kif 3358-3358 | |
| (format ChineseTraditionalLanguage experimentalSubject "%2 是在 %1 的 subject ") | domainEnglishFormat.kif 3359-3359 | |
| (format ChineseLanguage experimentalSubject "%2 是在 %1 的 subject ") | domainEnglishFormat.kif 3360-3360 |
| 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 3920-3931 | If X is an instance of experimenting, Y is an instance of human, and Y is a subject in X, then there exists Z such that Z is an instance of process, Y experiences Z, and the control in experiment X is Z or Z is a process in X |
| (=> (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 4464-4477 | If All of the following hold: (1) X and Y are orthogonal tests (2) Z is an instance of human (3) W is an instance of V (4) V is a subclass of experimenting (5) W is a member of X (6) Z is capable of doing V as a experimental subject, then there exist U, T such that U is an instance of T, U is a member of Y, T is a subclass of experimenting, and Z is capable of doing T as a experimental subject |
| consequent |
|
|
| (=> (treatedUser ?VISITOR ?EXPERIMENT) (experimentalSubject ?VISITOR ?EXPERIMENT)) |
UXExperimentalTerms.kif 4002-4004 | If X is a treated used in Y, then Y is a subject in X |
| (=> (qualifiedExperiment ?EXPERIMENT ?VISITOR) (and (instance ?EXPERIMENT ?CLASS) (capability ?CLASS experimentalSubject ?VISITOR))) |
UXExperimentalTerms.kif 4058-4062 | If X is a qualified subject of Y, then Y is an instance of Z and X is capable of doing Z as a experimental subject |
| (=> (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 4464-4477 | If All of the following hold: (1) X and Y are orthogonal tests (2) Z is an instance of human (3) W is an instance of V (4) V is a subclass of experimenting (5) W is a member of X (6) Z is capable of doing V as a experimental subject, then there exist U, T such that U is an instance of T, U is a member of Y, T is a subclass of experimenting, and Z is capable of doing T as a experimental subject |
|