| 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 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners