| 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 893-897 | |
| (domain diseaseTreatment 1 DiseaseOrSyndrome) | WMD.kif 890-890 | |
| (domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) | WMD.kif 891-891 | |
| (domainSubclass diseaseTreatment 3 Process) | WMD.kif 892-892 | |
| (instance diseaseTreatment TernaryPredicate) | WMD.kif 889-889 |
| 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 19822-19822 | |
| (termFormat ChineseTraditionalLanguage diseaseTreatment "疾病治療") | domainEnglishFormat.kif 19821-19821 | |
| (termFormat EnglishLanguage diseaseTreatment "disease treatment") | domainEnglishFormat.kif 19820-19820 |
| antecedent |
|
|
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 912-916 | |
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 918-922 | |
| (=> (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 899-910 | |
| (=> (diseaseTreatment ?DISEASE Antibiotic ?PROCESS) (instance ?DISEASE BacterialDisease)) |
WMD.kif 1192-1194 | |
| (=> (diseaseTreatment ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (instance ?PROCESS Putting))) |
WMD.kif 1240-1244 | |
| (=> (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS) (subclass ?PROCESS Ingesting)) |
WMD.kif 1206-1208 | |
| (=> (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS) (subclass ?PROCESS Covering)) |
WMD.kif 1233-1235 |
| consequent |
|
|
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?PROCESS)) (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB)) |
WMD.kif 912-916 | |
| (=> (and (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS) (subclass ?SUB ?SUBSTANCE)) (diseaseTreatment ?DISEASE ?SUB ?PROCESS)) |
WMD.kif 918-922 | |
| (=> (instance ?DISEASE ViralDisease) (exists (?PROCESS) (not (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)))) |
WMD.kif 1196-1200 |
| appearance as argument number 0 |
|
|
| (diseaseTreatment Anthrax Ciprofloxacin Ingesting) | WMD.kif 1059-1059 | |
| (diseaseTreatment Anthrax Doxycycline Ingesting) | WMD.kif 1058-1058 | |
| (diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) | WMD.kif 359-359 | |
| (diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) | WMD.kif 273-273 | |
| (diseaseTreatment Pertussis Antibiotic Ingesting) | WMD.kif 1444-1444 | |
| (diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) | WMD.kif 261-261 | |
| (diseaseTreatment Tuberculosis OralAntibiotic Ingesting) | WMD.kif 1598-1598 | |
| (diseaseTreatment TyphoidFever Antibiotic Ingesting) | WMD.kif 1277-1277 |
|
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