QualifyingEventsFn |
appearance as argument number 1 |
(documentation QualifyingEventsFn EnglishLanguage "(QualifyingEventsFn ?EXPERIMENT) returns the Collection of all Processes that are experimentalControlProcesses or experimentalVariableProcesses of ?EXPERIMENT.") | UXExperimentalTerms.kif 4204-4206 | |
(domain QualifyingEventsFn 1 Experimenting) | UXExperimentalTerms.kif 4198-4198 | 域 QualifyingEventsFn, 1 and 試驗 |
(instance QualifyingEventsFn UnaryFunction) | UXExperimentalTerms.kif 4196-4196 | 例 QualifyingEventsFn and UnaryFunction |
(range QualifyingEventsFn Collection) | UXExperimentalTerms.kif 4200-4200 | 範圍 QualifyingEventsFn and Collection |
appearance as argument number 2 |
(format ChineseLanguage QualifyingEventsFn "events 在 %1 ") | domainEnglishFormat.kif 4306-4306 | |
(format ChineseTraditionalLanguage QualifyingEventsFn "events 在 %1 ") | domainEnglishFormat.kif 4305-4305 | |
(format EnglishLanguage QualifyingEventsFn "events in %1") | domainEnglishFormat.kif 4304-4304 | |
(termFormat EnglishLanguage QualifyingEventsFn "Qualifying Factor or Event") | UXExperimentalTerms.kif 4202-4202 |
antecedent |
(=> (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 |
consequent |
(=> (instance ?EXPERIMENT Experimenting) (exists (?QUALIFYING_EVENTS) (and (instance ?QUALIFYING_EVENTS Collection) (forall (?EVENT) (=> (and (instance ?EVENT Process) (or (experimentalControlProcess ?EXPERIMENT ?EVENT) (experimentalVariableProcess ?EXPERIMENT ?EVENT))) (member ?EVENT ?QUALIFYING_EVENTS))) (equal (QualifyingEventsFn ?EXPERIMENT) ?QUALIFYING_EVENTS)))) |
UXExperimentalTerms.kif 4208-4223 | |
(=> (treatedPage ?WEBPAGE ?EXPERIMENT) (exists (?EVENT ?VISITOR ?ACCESSING) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (=> (and (instance ?VISITOR Human) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?VISITOR) (destination ?ACCESSING ?WEBPAGE)) (experiencer ?VISITOR ?EVENT))))) |
UXExperimentalTerms.kif 4125-4136 |
|
(=> (treatedUser ?VISITOR ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (experiencer ?VISITOR ?EVENT)))) |
UXExperimentalTerms.kif 3998-4003 |
|