Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - QualifyingEventsFn
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
-------------------------


(=>
    (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

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners