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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BacterialDisease

Sigma KEE - BacterialDisease
BacterialDisease(bacterial disease)crown_gall

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


s__documentation(s__BacterialDisease,s__EnglishLanguage,'"A disease that is caused by instances of Bacterium."')

Mid-level-ontology.kif 5482-5483
s__instance(s__BacterialDisease,s__Class)

s__instance(s__InfectiousDisease,s__Class)

s__subclass(s__BacterialDisease,s__InfectiousDisease)

Mid-level-ontology.kif 5481-5481 Bacterial disease is a subclass of infectious disease

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


s__instance(s__BacterialDisease,s__Class)

s__instance(s__Anthrax,s__BacterialDisease)

WMD.kif 1124-1124 Anthrax is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__BacterialPneumonia,s__BacterialDisease)

Mid-level-ontology.kif 5873-5873 BacterialPneumonia is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Botulism,s__BacterialDisease)

WMD.kif 332-332 Botulism is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Brucellosis,s__BacterialDisease)

WMD.kif 393-393 Brucellosis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Cholera,s__BacterialDisease)

WMD.kif 1455-1455 Cholera is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Diphtheria,s__BacterialDisease)

WMD.kif 1840-1840 Diphtheria is an instance of bacterial disease
s__instance(s__Glanders,s__BacterialDisease)

s__instance(s__BacterialDisease,s__Class)

WMD.kif 364-364 Glanders is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Gonorrhea,s__BacterialDisease)

WMD.kif 1145-1145 Gonorrhea is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Legionellosis,s__BacterialDisease)

WMD.kif 1822-1822 Legionellosis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__LouseBorneTyphus,s__BacterialDisease)

WMD.kif 271-271 Louse borne typhus is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Melioidosis,s__BacterialDisease)

WMD.kif 380-380 Melioidosis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__NecrotizingFaciitis,s__BacterialDisease)

WMD.kif 1704-1704 Necrotizing faciitis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Pertussis,s__BacterialDisease)

WMD.kif 1515-1515 Pertussis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Plague,s__BacterialDisease)

WMD.kif 406-406 Plague is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Psittacosis,s__BacterialDisease)

WMD.kif 1539-1539 Psittacosis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__QFever,s__BacterialDisease)

WMD.kif 1148-1148 Q fever is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__RockyMountainSpottedFever,s__BacterialDisease)

WMD.kif 258-258 Rocky mountain spotted fever is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__ScarletFever,s__BacterialDisease)

WMD.kif 1699-1699 Scarlet fever is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__StrepThroat,s__BacterialDisease)

WMD.kif 1694-1694 Strep throat is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Tetanus,s__BacterialDisease)

WMD.kif 1467-1467 Tetanus is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Tuberculosis,s__BacterialDisease)

Mid-level-ontology.kif 5841-5841 Tuberculosis is an instance of bacterial disease
s__instance(s__BacterialDisease,s__Class)

s__instance(s__Tularemia,s__BacterialDisease)

WMD.kif 1200-1200 Tularemia is an instance of bacterial disease
s__termFormat(s__ChineseLanguage,s__BacterialDisease,'"细菌性疾病"')

domainEnglishFormat.kif 9537-9537
s__termFormat(s__ChineseTraditionalLanguage,s__BacterialDisease,'"細菌性疾病"')

domainEnglishFormat.kif 9536-9536
s__termFormat(s__EnglishLanguage,s__BacterialDisease,'"bacterial disease"')

domainEnglishFormat.kif 9535-9535

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__SYNDROME,V__BACTERIUM] :
   (((s__instance(V__SYNDROME,s__DiseaseOrSyndrome) &
         s__subclass(V__BACTERIUM,s__BiochemicalAgent))
       =>
       (((s__instance(V__BACTERIUM,s__BacterialAgent) &
             s__biochemicalAgentSyndrome(V__BACTERIUM,V__SYNDROME))
         =>
         (s__instance(V__SYNDROME,s__BacterialDisease)))))
   )
)

WMD.kif 1112-1116
( ! [V__PROCESS,V__DISEASE] :
   (((s__subclass(V__PROCESS,s__Process) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseTreatment(V__DISEASE,s__Antibiotic,V__PROCESS)
         =>
         (s__instance(V__DISEASE,s__BacterialDisease)))))
   )
)

WMD.kif 1259-1261
( ! [V__PROCESS,V__DISEASE] :
   (((s__subclass(V__PROCESS,s__Process) &
         s__instance(V__DISEASE,s__DiseaseOrSyndrome))
       =>
       ((s__diseaseTreatment(V__DISEASE,s__Bacitracin,V__PROCESS)
         =>
         ((s__instance(V__DISEASE,s__BacterialDisease) &
             s__instance(V__PROCESS,s__Putting))))))
   )
)

WMD.kif 1307-1311
( ! [V__A] :
   (((s__instance(V__A,s__Class) &
         s__subclass(V__A,s__Medicine))
       =>
       ((s__subclass(V__A,s__Antibiotic) =>
           (( ? [V__D] :
               ((s__instance(V__D,s__BacterialDisease) &
                   s__medicine(V__A,V__D))))))))
   )
)

Mid-level-ontology.kif 9044-9049


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