| appearance as argument number 1 |
|
| (documentation diseaseTreatment EnglishLanguage "(diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) means that the BiologicallyActiveSubstance ?SUBSTANCE is effective in the treatment of the DiseaseOrSyndrome ?DISEASE when administered via the Process ?PROCESS, i.e. it has been demonstrated (in a significant sample of patients) to cure the ?DISEASE or at least reduce the severity of symptoms associated with the ?DISEASE.") | WMD.kif 931-935 | |
| (domain diseaseTreatment 1 DiseaseOrSyndrome) | WMD.kif 928-928 | 疾病治疗 的 1 数量 是 疾病或综合症 的 instance |
| (domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) | WMD.kif 929-929 | 疾病治疗 的 2 数量 是 生物活性物质 的 subclass |
| (domainSubclass diseaseTreatment 3 Process) | WMD.kif 930-930 | 疾病治疗 的 3 数量 是 过程 的 subclass |
| (instance diseaseTreatment TernaryPredicate) | WMD.kif 927-927 | 疾病治疗 是 三元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage diseaseTreatment "%1 %p{是} %n{不是} 对于 %3 的 disease 治愈 %2") | domainEnglishFormat.kif 780-780 | |
| (format ChineseTraditionalLanguage diseaseTreatment "%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ") | domainEnglishFormat.kif 779-779 | |
| (format EnglishLanguage diseaseTreatment "%1 %p{is} %n{isn't} disease treatment %2 for %3") | domainEnglishFormat.kif 778-778 | |
| (termFormat ChineseLanguage diseaseTreatment "疾病治疗") | domainEnglishFormat.kif 19815-19815 | |
| (termFormat ChineseTraditionalLanguage diseaseTreatment "疾病治療") | domainEnglishFormat.kif 19814-19814 | |
| (termFormat EnglishLanguage diseaseTreatment "disease treatment") | domainEnglishFormat.kif 19813-19813 |
| antecedent |
|
|
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 950-954 | |
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 956-960 | |
| (=> (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (=> (holdsDuring ?TIME (attribute ?ORGANISM ?DISEASE)) (increasesLikelihood (exists (?SAMPLE) (and (temporalPart (WhenFn ?PROCESS) ?TIME) (experiencer ?PROCESS ?ORGANISM) (patient ?PROCESS ?SAMPLE) (instance ?SAMPLE ?SUBSTANCE))) (holdsDuring (ImmediateFutureFn ?TIME) (not (attribute ?ORGANISM ?DISEASE)))))) |
WMD.kif 937-948 | |
| (=> (diseaseTreatment ?DISEASE Antibiotic ?PROCESS) (instance ?DISEASE BacterialDisease)) |
WMD.kif 1265-1267 | |
| (=> (diseaseTreatment ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (instance ?PROCESS Putting))) |
WMD.kif 1313-1317 | |
| (=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1279-1281 | |
| (=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1306-1308 |
| consequent |
|
|
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 950-954 | |
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 956-960 | |
| (=> (instance ?DISEASE ViralDisease) (exists (?PROCESS) (not (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)))) |
WMD.kif 1269-1273 |
| appearance as argument number 0 |
|
|
| (diseaseTreatment Anthrax Ciprofloxacin Ingesting) | WMD.kif 1132-1132 | 炭疽病 是 对于 消化 的 disease 治愈 环丙沙星 |
| (diseaseTreatment Anthrax Doxycycline Ingesting) | WMD.kif 1131-1131 | 炭疽病 是 对于 消化 的 disease 治愈 多西环素 |
| (diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) | WMD.kif 359-359 | Burkholderia mallei 是 对于 消化 的 disease 治愈 环丙沙星 |
| (diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) | WMD.kif 273-273 | 虱传斑疹伤寒 是 对于 消化 的 disease 治愈 口服抗生素 |
| (diseaseTreatment Pertussis Antibiotic Ingesting) | WMD.kif 1570-1570 | 百日咳 是 对于 消化 的 disease 治愈 抗生素 |
| (diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) | WMD.kif 261-261 | 落基山斑疹热 是 对于 消化 的 disease 治愈 口服抗生素 |
| (diseaseTreatment Tuberculosis OralAntibiotic Ingesting) | WMD.kif 1723-1723 | 结核 是 对于 消化 的 disease 治愈 口服抗生素 |
| (diseaseTreatment TyphoidFever Antibiotic Ingesting) | WMD.kif 1350-1350 | 伤寒 是 对于 消化 的 disease 治愈 抗生素 |
|
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