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 domain QualifyingEventsFn, 1 and Experimenting
(instance QualifyingEventsFn UnaryFunction) UXExperimentalTerms.kif 4400-4400 instance QualifyingEventsFn and UnaryFunction
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4404-4404 range QualifyingEventsFn and 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 termFormat EnglishLanguage, QualifyingEventsFn and "Qualifying Factor or Event"

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