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 884-888
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 881-881 diseaseTreatment 的 1 数量 是 疾病或综合症instance
(domainSubclass diseaseTreatment 2 BiologicallyActiveSubstance) WMD.kif 882-882 diseaseTreatment 的 2 数量 是 生物活性物质subclass
(domainSubclass diseaseTreatment 3 Process) WMD.kif 883-883 diseaseTreatment 的 3 数量 是 过程subclass
(instance diseaseTreatment TernaryPredicate) WMD.kif 880-880 diseaseTreatment三元谓语instance

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


(format EnglishLanguage diseaseTreatment "%1 %n{doesn't} disease treatment %2 for %3") domainEnglishFormat.kif 204-204
(termFormat EnglishLanguage diseaseTreatment "disease treatment") domainEnglishFormat.kif 3725-3725 termFormat EnglishLanguage, diseaseTreatment and "disease treatment"

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


(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 903-907
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))
WMD.kif 909-913
(=>
    (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 890-901
(=>
    (diseaseTreatment ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))
WMD.kif 1176-1178
(=>
    (diseaseTreatment ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (instance ?PROCESS Putting)))
WMD.kif 1223-1227
(=>
    (diseaseTreatment ?DISEASE OralAntibiotic ?PROCESS)
    (subclass ?PROCESS Ingesting))
WMD.kif 1189-1191
(=>
    (diseaseTreatment ?DISEASE TopicalAntibiotic ?PROCESS)
    (subclass ?PROCESS Covering))
WMD.kif 1216-1218

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


(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?PROCESS))
    (diseaseTreatment ?DISEASE ?SUBSTANCE ?SUB))
WMD.kif 903-907
(=>
    (and
        (diseaseTreatment ?DISEASE ?SUBSTANCE ?PROCESS)
        (subclass ?SUB ?SUBSTANCE))
    (diseaseTreatment ?DISEASE ?SUB ?PROCESS))
WMD.kif 909-913
(=>
    (instance ?DISEASE ViralDisease)
    (exists (?PROCESS)
        (not
            (diseaseTreatment ?DISEASE Antibiotic ?PROCESS))))
WMD.kif 1180-1183

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


(diseaseTreatment Anthrax Ciprofloxacin Ingesting) WMD.kif 1050-1050 diseaseTreatment Anthrax, Ciprofloxacin and 消化
(diseaseTreatment Anthrax Doxycycline Ingesting) WMD.kif 1049-1049 diseaseTreatment Anthrax, Doxycycline and 消化
(diseaseTreatment BurkholderiaMallei Ciprofloxacin Ingesting) WMD.kif 359-359 diseaseTreatment BurkholderiaMallei, Ciprofloxacin and 消化
(diseaseTreatment LouseBorneTyphus OralAntibiotic Ingesting) WMD.kif 273-273 diseaseTreatment LouseBorneTyphus, OralAntibiotic and 消化
(diseaseTreatment Pertussis Antibiotic Ingesting) WMD.kif 1427-1427 diseaseTreatment Pertussis, Antibiotic and 消化
(diseaseTreatment RockyMountainSpottedFever OralAntibiotic Ingesting) WMD.kif 261-261 diseaseTreatment RockyMountainSpottedFever, OralAntibiotic and 消化
(diseaseTreatment Tuberculosis OralAntibiotic Ingesting) WMD.kif 1581-1581 diseaseTreatment Tuberculosis, OralAntibiotic and 消化
(diseaseTreatment TyphoidFever Antibiotic Ingesting) WMD.kif 1260-1260 diseaseTreatment TyphoidFever, Antibiotic and 消化


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners