TreeView Knowledge Base Browser - QualifiedTreatmentsFn

appearance as argument number 1

(documentation QualifiedTreatmentsFn EnglishLanguage "(QualifiedTreatmentsFn ?VISITOR) returns all the Processes that ?VISITOR is has the capability of being the experiencer of which are qualifying events of Experimentings.")	UXExperimentalTerms.kif 4442-4444
(domain QualifiedTreatmentsFn 1 Human)	UXExperimentalTerms.kif 4438-4438
(instance QualifiedTreatmentsFn UnaryFunction)	UXExperimentalTerms.kif 4436-4436
(range QualifiedTreatmentsFn Collection)	UXExperimentalTerms.kif 4440-4440

appearance as argument number 2

(format ChineseLanguage QualifiedTreatmentsFn "所有流程 %1 是 qualified 对于")	domainEnglishFormat.kif 4311-4311
(format ChineseTraditionalLanguage QualifiedTreatmentsFn "所有流程 %1 是 qualified 對於")	domainEnglishFormat.kif 4310-4310
(format EnglishLanguage QualifiedTreatmentsFn "all the processes %1 is qualified for")	domainEnglishFormat.kif 4309-4309
(termFormat EnglishLanguage QualifiedTreatmentsFn "qualifed treatments")	UXExperimentalTerms.kif 4446-4446

consequent

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

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

KB Term:			Term intersection

English Word: