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 4408-4410 | |
(domain QualifyingEventsFn 1 Experimenting) | UXExperimentalTerms.kif 4402-4402 | The number 1 argument of Qualifying Factor or Event is an instance of experimenting |
(instance QualifyingEventsFn UnaryFunction) | UXExperimentalTerms.kif 4400-4400 | Qualifying Factor or Event is an instance of unary function |
(range QualifyingEventsFn Collection) | UXExperimentalTerms.kif 4404-4404 | The range of Qualifying Factor or Event is an instance of collection |
appearance as argument number 2 |
![]() |
(format ChineseLanguage QualifyingEventsFn "events 在 %1 ") | domainEnglishFormat.kif 4311-4311 | |
(format ChineseTraditionalLanguage QualifyingEventsFn "events 在 %1 ") | domainEnglishFormat.kif 4310-4310 | |
(format EnglishLanguage QualifyingEventsFn "events in %1") | domainEnglishFormat.kif 4309-4309 | |
(termFormat EnglishLanguage QualifyingEventsFn "Qualifying Factor or Event") | UXExperimentalTerms.kif 4406-4406 | "Qualifying Factor or Event" is the printable form of Qualifying Factor or Event in english language |
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 4412-4427 |
|
(=> (treatedPage ?WEBPAGE ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (=> (exists (?VISITOR ?ACCESSING) (and (instance ?VISITOR Human) (instance ?ACCESSING AccessingWebPage) (agent ?ACCESSING ?VISITOR) (destination ?ACCESSING ?WEBPAGE))) (experiencer ?VISITOR ?EVENT))))) |
UXExperimentalTerms.kif 4327-4339 |
|
(=> (treatedUser ?VISITOR ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (experiencer ?VISITOR ?EVENT)))) |
UXExperimentalTerms.kif 4200-4205 |
|
![]() |
![]() |