(=>
(and
(instance ?VISITOR Human)
(instance ?COLL Collection)
(forall (?EXPERIMENT ?EVENT)
(=>
(exists (?CLASS)
(and
(instance ?EXPERIMENT Experimenting)
(instance ?EVENT Process)
(member ?EVENT
(QualifyingEventsFn ?EXPERIMENT))
(instance ?EVENT ?CLASS)
(capability ?CLASS experiencer ?VISITOR)))
(member ?EVENT ?COLL)))
(=>
(member ?PROC ?COLL)
(and
(instance ?PROC Process)
(exists (?EXP ?PROCESS)
(and
(instance ?EXP Experimenting)
(member ?PROC
(QualifyingEventsFn ?EXP))
(instance ?PROC ?PROCESS)
(capability ?PROCESS experiencer ?VISITOR))))))
(equal
(QualifiedTreatmentsFn ?VISITOR) ?COLL)) |
UXExperimentalTerms.kif 4238-4264 |
If X is an instance of human, Y is an instance of collection, For all Experimenting Z and Physical W: if there exists V such that Z is an instance of experimenting, W is an instance of process, W is a member of events in Z, W is an instance of V, and X is capable of doing V as a experiencer, then W is a member of Y, and if U is a member of Y, then U is an instance of process and there exist T, S such that T is an instance of experimenting, U is a member of events in T, U is an instance of S, and X is capable of doing S as a experiencer, then equal all the processes X is qualified for and Y |
