TreeView Knowledge Base Browser - qualifiedTreatment

appearance as argument number 1

(documentation qualifiedTreatment EnglishLanguage "(qualifiedTreatment ?TREATMENT ?HUMAN) means that ?HUMAN has capability to be put into Experimenting track ?TREATMENT")	UXExperimentalTerms.kif 4099-4100
(domain qualifiedTreatment 1 Experimenting)	UXExperimentalTerms.kif 4093-4093	The number 1 argument of qualified treatment is an instance of experimenting
(domain qualifiedTreatment 2 Human)	UXExperimentalTerms.kif 4095-4095	The number 2 argument of qualified treatment is an instance of human
(instance qualifiedTreatment BinaryPredicate)	UXExperimentalTerms.kif 4091-4091	qualified treatment is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage qualifiedTreatment "%2 可以是 %1 的一部分")	domainEnglishFormat.kif 4298-4298
(format ChineseTraditionalLanguage qualifiedTreatment "%2 可以是 %1 的一部分")	domainEnglishFormat.kif 4297-4297
(format EnglishLanguage qualifiedTreatment "%2 can be part of %1")	domainEnglishFormat.kif 4296-4296
(termFormat EnglishLanguage qualifiedTreatment "qualified treatment")	UXExperimentalTerms.kif 4097-4097

antecedent

(=>
    (qualifiedTreatment ?TREATMENT ?VISITOR)
    (exists (?PROCESS ?CLASS)
        (and
            (instance ?PROCESS ?CLASS)
            (member ?PROCESS ?TREATMENT)
            (capability ?CLASS experiencer ?VISITOR))))

UXExperimentalTerms.kif 4102-4108

If a human can be part of a collection,
then there exist a physical and a kind of process such that the physical is an instance of a kind of process and the physical is a member of the collection and the human is capable of doing the kind of process as a experiencer

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

KB Term:			Term intersection

English Word: