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 4411-4413
(domain QualifyingEventsFn 1 Experimenting) UXExperimentalTerms.kif 4405-4405 The number 1 argument of Qualifying Factor or Event is an instance of experimenting
(instance QualifyingEventsFn UnaryFunction) UXExperimentalTerms.kif 4403-4403 Qualifying Factor or Event is an instance of unary function
(range QualifyingEventsFn Collection) UXExperimentalTerms.kif 4407-4407 The range of Qualifying Factor or Event is an instance of collection

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


(format ChineseLanguage QualifyingEventsFn "events 在 %1 ") domainEnglishFormat.kif 4315-4315
(format ChineseTraditionalLanguage QualifyingEventsFn "events 在 %1 ") domainEnglishFormat.kif 4314-4314
(format EnglishLanguage QualifyingEventsFn "events in %1") domainEnglishFormat.kif 4313-4313
(termFormat EnglishLanguage QualifyingEventsFn "Qualifying Factor or Event") UXExperimentalTerms.kif 4409-4409

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 4448-4471

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 4415-4430
(=>
    (treatedPage ?WEBPAGE ?EXPERIMENT)
    (exists (?EVENT)
        (and
            (member ?EVENT
                (QualifyingEventsFn ?EXPERIMENT))
            (=>
                (and
                    (instance ?VISITOR Human)
                    (instance ?ACCESSING AccessingWebPage)
                    (agent ?ACCESSING ?VISITOR)
                    (destination ?ACCESSING ?WEBPAGE))
                (experiencer ?VISITOR ?EVENT)))))
UXExperimentalTerms.kif 4332-4343
(=>
    (treatedUser ?VISITOR ?EXPERIMENT)
    (exists (?EVENT)
        (and
            (member ?EVENT
                (QualifyingEventsFn ?EXPERIMENT))
            (experiencer ?VISITOR ?EVENT))))
UXExperimentalTerms.kif 4205-4210


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