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	The number 1 argument of qualifed treatments is an instance of human
(instance QualifiedTreatmentsFn UnaryFunction)	UXExperimentalTerms.kif 4436-4436	Qualifed treatments is an instance of unary function
(range QualifiedTreatmentsFn Collection)	UXExperimentalTerms.kif 4440-4440	The range of qualifed treatments is an instance of collection

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

If a human is an instance of human and a collection is an instance of collection and for all an entity and a kind of process
- if the entity is an instance of experimenting and a kind of process is an instance of process and the kind of process is a member of events in an experimenting and the human is capable of doing the kind of process as a experiencer,
- then the kind of process is a member of the collection
and
- if another kind of process is a member of the collection,
- then another kind of process is an instance of process and there exists another experimenting such that the other experimenting is an instance of experimenting and the other kind of process is a member of events in the other experimenting and the human is capable of doing the other kind of process as a experiencer
,
then all the processes the human is qualified for is equal to the collection

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

KB Term:			Term intersection

English Word: