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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BacterialDisease

Sigma KEE - BacterialDisease
BacterialDisease

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


(documentation BacterialDisease EnglishLanguage "A disease that is caused by instances of Bacterium.") Mid-level-ontology.kif 5973-5974
(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 5972-5972

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


(instance Anthrax BacterialDisease) WMD.kif 1048-1048
(instance Botulism BacterialDisease) WMD.kif 332-332
(instance Brucellosis BacterialDisease) WMD.kif 393-393
(instance Cholera BacterialDisease) WMD.kif 1371-1371
(instance Diphtheria BacterialDisease) WMD.kif 1750-1750
(instance Glanders BacterialDisease) WMD.kif 364-364
(instance Gonorrhea BacterialDisease) WMD.kif 1069-1069
(instance Legionellosis BacterialDisease) WMD.kif 1732-1732
(instance LouseBorneTyphus BacterialDisease) WMD.kif 271-271
(instance Melioidosis BacterialDisease) WMD.kif 380-380
(instance NecrotizingFaciitis BacterialDisease) WMD.kif 1614-1614
(instance Pertussis BacterialDisease) WMD.kif 1425-1425
(instance Plague BacterialDisease) WMD.kif 406-406
(instance Psittacosis BacterialDisease) WMD.kif 1449-1449
(instance QFever BacterialDisease) WMD.kif 1072-1072
(instance RockyMountainSpottedFever BacterialDisease) WMD.kif 258-258
(instance ScarletFever BacterialDisease) WMD.kif 1609-1609
(instance StrepThroat BacterialDisease) WMD.kif 1604-1604
(instance Tetanus BacterialDisease) WMD.kif 1383-1383
(instance Tuberculosis BacterialDisease) Mid-level-ontology.kif 6059-6059
(instance Tularemia BacterialDisease) WMD.kif 1124-1124
(termFormat EnglishLanguage BacterialDisease "bacterial disease") domainEnglishFormat.kif 2023-2023

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


(=>
    (and
        (instance ?BACTERIUM BacterialAgent)
        (biochemicalAgentSyndrome ?BACTERIUM ?SYNDROME))
    (instance ?SYNDROME BacterialDisease))
WMD.kif 1036-1040
(=>
    (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


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