TreeView Knowledge Base Browser - QualifiedTreatmentsFn

appearance as argument number 1

(documentation QualifiedTreatmentsFn EnglishLanguage "(QualifiedTreatmentsFn ?VISITOR) returns all the Processes that ?VISITOR has the capability of being the experiencer of which are qualifying events of Experimentings.")	UXExperimentalTerms.kif 4235-4237
(domain QualifiedTreatmentsFn 1 Human)	UXExperimentalTerms.kif 4231-4231	The number 1 argument of qualifed treatments is an instance of human
(instance QualifiedTreatmentsFn UnaryFunction)	UXExperimentalTerms.kif 4229-4229	Qualifed treatments is an instance of unary function
(range QualifiedTreatmentsFn Collection)	UXExperimentalTerms.kif 4233-4233	The range of qualifed treatments is an instance of collection

appearance as argument number 2

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

consequent

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

If a human is an instance of human and a collection is an instance of collection and for all an experimenting and a physical
- if there exists a kind of process such that the experimenting is an instance of experimenting and the physical is an instance of process and the physical is a member of events in the experimenting and the physical is an instance of a kind of process and the human is capable of doing the kind of process as a experiencer,
- then the physical is a member of the collection
and
- if another physical is a member of the collection,
- then the other physical is an instance of process and there exist another experimenting and the other physicalESS such that the other experimenting is an instance of experimenting and the other physical is a member of events in the other experimenting and the other physical is an instance of the other physicalESS and the human is capable of doing the other physicalESS 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: