QualifyingEventsFn - Sigma Knowledge base Browser

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

antecedent

(=>
    (and
        (instance ?VISITOR Human)
        (instance ?COLL Collection)
        (forall (?EXPERIMENTING ?EVENT)
            (=>
                (and
                    (instance ?EXPERIMENTING Experimenting)
                    (instance ?EVENT Process)
                    (member ?EVENT
                        (QualifyingEventsFn ?EXPERIMENT))
                    (capability ?EVENT experiencer ?VISITOR))
                (member ?EVENT ?COLL)))
        (=>
            (member ?PROC ?COLL)
            (and
                (instance ?PROC Process)
                (exists (?EXP)
                    (and
                        (instance ?EXP Experimenting)
                        (member ?PROC
                            (QualifyingEventsFn ?EXP))
                        (capability ?PROC experiencer ?VISITOR))))))
    (equal
        (QualifiedTreatmentsFn ?VISITOR) ?COLL))

UXExperimentalTerms.kif 4445-4468

If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process
- if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer,
- then the kind of process is a member of the collection
and
- if another kind of process is a member of the collection,
- then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process as a experiencer
,
then all the processes the human is qualified for is equal to the collection

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	If an experimenting is an instance of experimenting, then there exists an entity_EVENTS such that the entity_EVENTS is an instance of collection and for all a process if the process is an instance of process and the control in experiment the experimenting is the process or the process is a process in the experimenting, then the process is a member of the entity_EVENTS and events in the experimenting is equal to the entity_EVENTS
(=> (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	If a WebPage is the object of study of an experimenting, then there exists an agent such that the agent is a member of events in the experimenting and if there exist another agent and a process such that the other agent is an instance of human and the process is an instance of AccessingWebPage and the other agent is an agent of the process and the process ends up at the WebPage, then the agent experiences the other agent
(=> (treatedUser ?VISITOR ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (experiencer ?VISITOR ?EVENT))))	UXExperimentalTerms.kif 4200-4205	If a human is a treated used in an experimenting, then there exists an agent such that the agent is a member of events in the experimenting and the agent experiences the human

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: