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