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