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

Show simplified definition (without tree view)
Show simplified definition (with tree view)