| 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 |
|
|
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