Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - QualifyingEventsFn
QualifyingEventsFn

appearance as argument number 1
-------------------------


(instance QualifyingEventsFn UnaryFunction) UXExperimentalTerms.kif 4193-4193 Qualifying Factor or Event is an instance of unary function
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4195-4195 The number 1 argument of Qualifying Factor or Event is an instance of experimenting
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4197-4197 The range of Qualifying Factor or Event is an instance of collection
(documentation QualifyingEventsFn EnglishLanguage "(QualifyingEventsFn ?EXPERIMENT) returns the Collection of all Processes that are experimentalControlProcesses or experimentalVariableProcesses of ?EXPERIMENT.") UXExperimentalTerms.kif 4201-4203 The range of Qualifying Factor or Event is an instance of collection

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage QualifyingEventsFn "Qualifying Factor or Event") UXExperimentalTerms.kif 4199-4199
(format EnglishLanguage QualifyingEventsFn "events in %1") domainEnglishFormat.kif 4308-4308
(format ChineseTraditionalLanguage QualifyingEventsFn "events 在 %1 ") domainEnglishFormat.kif 4309-4309
(format ChineseLanguage QualifyingEventsFn "events 在 %1 ") domainEnglishFormat.kif 4310-4310

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 4238-4264 If X is an instance of human, Y is an instance of collection, For all Experimenting Z and Physical W: if there exists V such that Z is an instance of experimenting, W is an instance of process, W is a member of events in Z, W is an instance of V, and X is capable of doing V as a experiencer, then W is a member of Y, and if U is a member of Y, then U is an instance of process and there exist T, S such that T is an instance of experimenting, U is a member of events in T, U is an instance of S, and X is capable of doing S as a experiencer, then equal all the processes X is qualified for and Y

consequent
-------------------------


(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (exists (?EVENT)
        (and
            (member ?EVENT
                (QualifyingEventsFn ?EXPERIMENT))
            (experiencer ?VISITOR ?EVENT))))		 UXExperimentalTerms.kif 3995-4000 If X is a treated used in Y, then there exists Z such that Z is a member of events in Y and Z experiences X
(=>
    (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 4122-4133 If X is the object of study of Y, then there exist Z, W, V such that Z is a member of events in Y, W is an instance of human, V is an instance of accessing web page, W is an agent of V, and V ends up at XZ experiences W
(=>
    (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 4205-4220 If X is an instance of experimenting, then there exists ?QUALIFYING_EVENTS such that ?QUALIFYING_EVENTS is an instance of collection, Z Z is an instance of process, the control in experiment X is Z or Z is a process in XZ is a member of ?QUALIFYING_EVENTS, equal events in X, and ?QUALIFYING_EVENTS


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners