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 4305-4306
(domain qualifiedTreatment 1 Experimenting)	UXExperimentalTerms.kif 4299-4299	The number 1 argument of qualified treatment is an instance of experimenting
(domain qualifiedTreatment 2 Human)	UXExperimentalTerms.kif 4301-4301	The number 2 argument of qualified treatment is an instance of human
(instance qualifiedTreatment BinaryPredicate)	UXExperimentalTerms.kif 4297-4297	qualified treatment is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage qualifiedTreatment "%2 可以是 %1 的一部分")	domainEnglishFormat.kif 4307-4307
(format ChineseTraditionalLanguage qualifiedTreatment "%2 可以是 %1 的一部分")	domainEnglishFormat.kif 4306-4306
(format EnglishLanguage qualifiedTreatment "%2 can be part of %1")	domainEnglishFormat.kif 4305-4305
(termFormat EnglishLanguage qualifiedTreatment "qualified treatment")	UXExperimentalTerms.kif 4303-4303

antecedent

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

UXExperimentalTerms.kif 4308-4314

If a human can be part of a collection,
then there exists a kind of process such that a kind of process is an instance of process and the kind of process 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: