Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| qualifiedTreatment |
| appearance as argument number 1 |
|
| (instance qualifiedTreatment BinaryPredicate) | UXExperimentalTerms.kif 4088-4088 | qualified treatment is an instance of binary predicate |
| (domain qualifiedTreatment 1 Experimenting) | UXExperimentalTerms.kif 4090-4090 | The number 1 argument of qualified treatment is an instance of experimenting |
| (domain qualifiedTreatment 2 Human) | UXExperimentalTerms.kif 4092-4092 | The number 2 argument of qualified treatment is an instance of human |
| (documentation qualifiedTreatment EnglishLanguage "(qualifiedTreatment ?TREATMENT ?HUMAN) means that ?HUMAN has capability to be put into Experimenting track ?TREATMENT") | UXExperimentalTerms.kif 4096-4097 | The number 2 argument of qualified treatment is an instance of human |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage qualifiedTreatment "qualified treatment") | UXExperimentalTerms.kif 4094-4094 | |
| (format EnglishLanguage qualifiedTreatment "%2 can be part of %1") | domainEnglishFormat.kif 4300-4300 | |
| (format ChineseTraditionalLanguage qualifiedTreatment "%2 可以是 %1 的一部分") | domainEnglishFormat.kif 4301-4301 | |
| (format ChineseLanguage qualifiedTreatment "%2 可以是 %1 的一部分") | domainEnglishFormat.kif 4302-4302 |
| antecedent |
|
|
| (=> (qualifiedTreatment ?TREATMENT ?VISITOR) (exists (?PROCESS ?CLASS) (and (instance ?PROCESS ?CLASS) (member ?PROCESS ?TREATMENT) (capability ?CLASS experiencer ?VISITOR)))) |
UXExperimentalTerms.kif 4099-4105 | If X can be part of Y, then there exist Z, W such that Z is an instance of W, Z is a member of Y, and X is capable of doing W as a experiencer |
|