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 | |
(domain qualifiedTreatment 2 Human) | UXExperimentalTerms.kif 4095-4095 | |
(instance qualifiedTreatment BinaryPredicate) | UXExperimentalTerms.kif 4091-4091 |
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 |