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

Formal Language: 



KB Term:  Term intersection
English Word: 

  diseaseTreatment

Sigma KEE - diseaseTreatment
diseaseTreatment

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 The number 1 argument of disease treatment is an instance of disease or syndrome
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 929-929 The number 2 argument of disease treatment is a subclass of biologically active substance
(domainSubclass diseaseTreatment 3 Process) WMD.kif 930-930 The number 3 argument of disease treatment is a subclass of process
(instance diseaseTreatment TernaryPredicate) WMD.kif 927-927 disease treatment is an instance of ternary predicate

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


(format ChineseLanguage diseaseTreatment "%1 %p{是} %n{不是} 对于 %3 的 dis​​ease 治愈 %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 Anthrax is disease treatment ciprofloxacin for ingesting
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1131-1131 Anthrax is disease treatment doxycycline for ingesting
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 Burkholderia mallei is disease treatment ciprofloxacin for ingesting
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 Louse borne typhus is disease treatment oral antibiotic for ingesting
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1570-1570 Pertussis is disease treatment antibiotic for ingesting
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 Rocky mountain spotted fever is disease treatment oral antibiotic for ingesting
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1723-1723 Tuberculosis is disease treatment oral antibiotic for ingesting
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1350-1350 Typhoid fever is disease treatment antibiotic for ingesting


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