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

Formal Language: 



KB Term:  Term intersection
English Word: 

  QualifyingEventsFn

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 4204-4206
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4198-4198 Le nombre 1 argument de QualifyingEventsFn est une instance de Experimenting
(instance QualifyingEventsFn UnaryFunction) UXExperimentalTerms.kif 4196-4196 QualifyingEventsFn est une instance de function unaire
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4200-4200 Le domaine de QualifyingEventsFn est une instance de collection

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


(format ChineseLanguage QualifyingEventsFn "events 在 %1 ") domainEnglishFormat.kif 4306-4306
(format ChineseTraditionalLanguage QualifyingEventsFn "events 在 %1 ") domainEnglishFormat.kif 4305-4305
(format EnglishLanguage QualifyingEventsFn "events in %1") domainEnglishFormat.kif 4304-4304
(termFormat EnglishLanguage QualifyingEventsFn "Qualifying Factor or Event") UXExperimentalTerms.kif 4202-4202

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 4241-4267

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 4208-4223
(=>
    (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 4125-4136
(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (exists (?EVENT)
        (and
            (member ?EVENT
                (QualifyingEventsFn ?EXPERIMENT))
            (experiencer ?VISITOR ?EVENT))))
UXExperimentalTerms.kif 3998-4003


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

Show without tree


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