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 | The number 1 argument of Qualifying Factor or Event is an instance of experimenting |
(instance QualifyingEventsFn UnaryFunction) | UXExperimentalTerms.kif 4196-4196 | Qualifying Factor or Event is an instance of unary function |
(range QualifyingEventsFn Collection) | UXExperimentalTerms.kif 4200-4200 | The range of Qualifying Factor or Event is an instance of 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 |
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 |
|