Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseMedicine

 Sigma KEE - diseaseMedicine
diseaseMedicine

appearance as argument number 1
-------------------------


(documentation diseaseMedicine EnglishLanguage "(diseaseMedicine ?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 935-939
(domain diseaseMedicine 1 DiseaseOrSyndrome) WMD.kif 932-932 疾病治疗 的 1 数量 是 疾病或综合症 的 instance
(domainSubclass diseaseMedicine 2 BiologicallyActiveSubstance) WMD.kif 933-933 疾病治疗 的 2 数量 是 生物活性物质 的 subclass
(domainSubclass diseaseMedicine 3 Process) WMD.kif 934-934 疾病治疗 的 3 数量 是 过程 的 subclass
(instance diseaseMedicine TernaryPredicate) WMD.kif 931-931 疾病治疗 是 三元谓语 的 instance

appearance as argument number 2
-------------------------


(format ChineseLanguage diseaseMedicine "%1 %p{是} %n{不是} 对于 %3 的 dis​​ease 治愈 %2") domainEnglishFormat.kif 780-780
(format ChineseTraditionalLanguage diseaseMedicine "%1 %p{是} %n{不是} 對於 %3 的 disease 治癒 %2 ") domainEnglishFormat.kif 779-779
(format EnglishLanguage diseaseMedicine "%1 %p{is} %n{isn't} disease treatment %2 for %3") domainEnglishFormat.kif 778-778
(termFormat ChineseLanguage diseaseMedicine "疾病治疗") domainEnglishFormat.kif 19824-19824
(termFormat ChineseTraditionalLanguage diseaseMedicine "疾病治療") domainEnglishFormat.kif 19823-19823
(termFormat EnglishLanguage diseaseMedicine "disease treatment") domainEnglishFormat.kif 19822-19822

antecedent
-------------------------


(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 957-961
(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseMedicine ?DISEASE ?SUB ?PROCESS))		 WMD.kif 963-967
(=>
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
    (exists (?ORGANISM ?TIME ?SAMPLE ?PROC)
        (and
            (holdsDuring ?TIME
                (attribute ?ORGANISM ?DISEASE))
            (increasesLikelihood
                (and
                    (instance ?PROC ?PROCESS)
                    (temporalPart
                        (WhenFn ?PROC) ?TIME)
                    (experiencer ?PROC ?ORGANISM)
                    (patient ?PROC ?SAMPLE)
                    (instance ?SAMPLE ?SUBSTANCE))
                (holdsDuring
                    (ImmediateFutureFn ?TIME)
                    (not
                        (attribute ?ORGANISM ?DISEASE)))))))		 WMD.kif 941-955
(=>
    (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))		 WMD.kif 1274-1276
(=>
    (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (subclass ?PROCESS Putting)))		 WMD.kif 1322-1326
(=>
    (diseaseMedicine ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))		 WMD.kif 1288-1290
(=>
    (diseaseMedicine ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))		 WMD.kif 1315-1317

consequent
-------------------------


(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseMedicine ?DISEASE ?SUBSTANCE ?SUB))		 WMD.kif 957-961
(=>
    (and
        (diseaseMedicine ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseMedicine ?DISEASE ?SUB ?PROCESS))		 WMD.kif 963-967
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1374-1381
(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseMedicine ?DISEASE Antibiotic ?PROCESS))))		 WMD.kif 1278-1282
(=>
    (subclass ?I Immunosuppressive)
    (hasPurpose ?I
        (and
            (instance ?AID AutoImmuneDisorder)
            (diseaseMedicine ?AID ?I ?P))))		 Medicine.kif 4614-4619

appearance as argument number 0
-------------------------


(diseaseMedicine ADHD Adderall Ingesting) Medicine.kif 4765-4765 ADHD 是 对于 消化 的 dis​​ease 治愈 Adderall
(diseaseMedicine Abatacept RheumatoidArthritis Ingesting) Medicine.kif 4951-4951 Abatacept 是 对于 消化 的 dis​​ease 治愈 RheumatoidArthritis
(diseaseMedicine AllergicRhinitis Chlorpheniramine Ingesting) Medicine.kif 5634-5634 AllergicRhinitis 是 对于 消化 的 dis​​ease 治愈 Chlorpheniramine
(diseaseMedicine AllergicRhinitis Levocetirizine Ingesting) Medicine.kif 5255-5255 AllergicRhinitis 是 对于 消化 的 dis​​ease 治愈 Levocetirizine
(diseaseMedicine Anthrax Ciprofloxacin Ingesting) WMD.kif 1140-1140 炭疽病 是 对于 消化 的 dis​​ease 治愈 环丙沙星
(diseaseMedicine Anthrax Doxycycline Ingesting) WMD.kif 1139-1139 炭疽病 是 对于 消化 的 dis​​ease 治愈 多西环素
(diseaseMedicine Anxiety Benzodiazepine Ingesting) Medicine.kif 3882-3882 焦虑 是 对于 消化 的 dis​​ease 治愈 Benzodiazepine
(diseaseMedicine AttentionDeficitHyperactivityDisorder Lisdexamfetamine Ingesting) Medicine.kif 3979-3979 AttentionDeficitHyperactivityDisorder 是 对于 消化 的 dis​​ease 治愈 Lisdexamfetamine
(diseaseMedicine BacterialPneumonia Clarithromycin Ingesting) Medicine.kif 3599-3599 BacterialPneumonia 是 对于 消化 的 dis​​ease 治愈 Clarithromycin
(diseaseMedicine Beriberi VitaminB1 Ingesting) Medicine.kif 2469-2469 Beriberi 是 对于 消化 的 dis​​ease 治愈 VitaminB1
(diseaseMedicine BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei 是 对于 消化 的 dis​​ease 治愈 环丙沙星
(diseaseMedicine ChronicObstructivePulmonaryDisease Roflumilast Ingesting) Medicine.kif 3932-3932 ChronicObstructivePulmonaryDisease 是 对于 消化 的 dis​​ease 治愈 Roflumilast
(diseaseMedicine CrohnsDisease MycophenolicAcid Ingesting) Medicine.kif 4736-4736 CrohnsDisease 是 对于 消化 的 dis​​ease 治愈 MycophenolicAcid
(diseaseMedicine CrohnsDisease Sulfasalazine Ingesting) Medicine.kif 3915-3915 CrohnsDisease 是 对于 消化 的 dis​​ease 治愈 Sulfasalazine
(diseaseMedicine Depression Escitalopram Ingesting) Medicine.kif 4051-4051 Depression 是 对于 消化 的 dis​​ease 治愈 Escitalopram
(diseaseMedicine Eczema Crisaborole TopicalApplication) Medicine.kif 4377-4377 Eczema 是 对于 TopicalApplication 的 dis​​ease 治愈 Crisaborole
(diseaseMedicine HeartAttack BetaBlocker Ingesting) Medicine.kif 4679-4679 HeartAttack 是 对于 消化 的 dis​​ease 治愈 BetaBlocker
(diseaseMedicine HeartPalpitations BetaBlocker Ingesting) Medicine.kif 4680-4680 HeartPalpitations 是 对于 消化 的 dis​​ease 治愈 BetaBlocker
(diseaseMedicine HighBloodPressure BetaBlocker Ingesting) Medicine.kif 4681-4681 HighBloodPressure 是 对于 消化 的 dis​​ease 治愈 BetaBlocker
(diseaseMedicine Hives Levocetirizine Ingesting) Medicine.kif 5254-5254 Hives 是 对于 消化 的 dis​​ease 治愈 Levocetirizine
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3883-3883 Insomnia 是 对于 消化 的 dis​​ease 治愈 Benzodiazepine
(diseaseMedicine LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 虱传斑疹伤寒 是 对于 消化 的 dis​​ease 治愈 口服抗生素
(diseaseMedicine Lupus Benelysta Ingesting) Medicine.kif 4624-4624 Lupus 是 对于 消化 的 dis​​ease 治愈 Benelysta
(diseaseMedicine Lupus Hydroxychloroquine Ingesting) Medicine.kif 5617-5617 Lupus 是 对于 消化 的 dis​​ease 治愈 Hydroxychloroquine
(diseaseMedicine Lupus MycophenolicAcid Ingesting) Medicine.kif 4737-4737 Lupus 是 对于 消化 的 dis​​ease 治愈 MycophenolicAcid

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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