QualifyingEventsFn - Sigma Knowledge base Browser

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	QualifyingEventsFn の数値 1 引数は Experimenting の instance では
(instance QualifyingEventsFn UnaryFunction)	UXExperimentalTerms.kif 4196-4196	QualifyingEventsFn は 1変数関数の instance では
(range QualifyingEventsFn Collection)	UXExperimentalTerms.kif 4200-4200	QualifyingEventsFn の range はコレクションのインスタンスでは

appearance as argument number 2

(format ChineseLanguage QualifyingEventsFn "events 在 %1 ")	domainEnglishFormat.kif 4310-4310
(format ChineseTraditionalLanguage QualifyingEventsFn "events 在 %1 ")	domainEnglishFormat.kif 4309-4309
(format EnglishLanguage QualifyingEventsFn "events in %1")	domainEnglishFormat.kif 4308-4308
(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

人［人間］は人［人間］の instance ではコレクションはコレクションの instance では Experimenting 物理
- 工程 Experimenting は Experimenting の instance では物理は工程の instance では物理は QualifyingEventsFn Experimenting の member では物理は工程の instance では人［人間］は工程を experiencer として行う capable では
- 物理はコレクションの member では
- 物理はコレクションの member では
- 物理は工程の instance では Experimenting 物理ESS Experimenting は Experimenting の instance では物理は QualifyingEventsFn Experimenting の member では物理は物理ESS の instance では人［人間］は物理ESS を experiencer として行う capable では
QualifiedTreatmentsFn 人［人間］はコレクションと equal では

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	Experimenting は Experimenting の instance ではエンティティー_EVENTS エンティティー_EVENTS はコレクションの instance では工程工程は工程の instance では experimentalControlProcess Experimenting and 工程 experimentalVariableProcess Experimenting and 工程工程はエンティティー_EVENTS の member では QualifyingEventsFn Experimenting はエンティティー_EVENTS と equal では
(=> (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	treatedPage WebPage and Experimenting AutonomousAgent AutonomousAgent and 工程 AutonomousAgent は QualifyingEventsFn Experimenting の member では AutonomousAgent は人［人間］の instance では工程は AccessingWebPage の instance では AutonomousAgent は工程の agent では工程は WebPage に ends AutonomousAgent が AutonomousAgent を experiences
(=> (treatedUser ?VISITOR ?EXPERIMENT) (exists (?EVENT) (and (member ?EVENT (QualifyingEventsFn ?EXPERIMENT)) (experiencer ?VISITOR ?EVENT))))	UXExperimentalTerms.kif 3998-4003	treatedUser 人［人間］ and Experimenting AutonomousAgent AutonomousAgent は QualifyingEventsFn Experimenting の member では AutonomousAgent が人［人間］を experiences

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

KB Term:			Term intersection

English Word: