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



KB Term:  Term intersection
English Word: 

  militaryAge

Sigma KEE - BacterialDisease
BacterialDisease(bacterial disease)crown_gall

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


(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 6941-6941 Bacterial disease is a subclass of infectious disease
(documentation BacterialDisease EnglishLanguage "A disease that is caused by instances of Bacterium.") Mid-level-ontology.kif 6942-6943 Bacterial disease is a subclass of infectious disease

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


(instance Tuberculosis BacterialDisease) Mid-level-ontology.kif 7303-7303 Tuberculosis is an instance of bacterial disease
(instance BacterialPneumonia BacterialDisease) Mid-level-ontology.kif 7335-7335 Bacterial pneumonia is an instance of bacterial disease
(instance LymeDisease BacterialDisease) Medicine.kif 1387-1387 Lyme disease is an instance of bacterial disease
(instance RockyMountainSpottedFever BacterialDisease) WMD.kif 252-252 Rocky mountain spotted fever is an instance of bacterial disease
(instance LouseBorneTyphus BacterialDisease) WMD.kif 265-265 Louse borne typhus is an instance of bacterial disease
(instance Botulism BacterialDisease) WMD.kif 327-327 Botulism is an instance of bacterial disease
(instance Glanders BacterialDisease) WMD.kif 359-359 Glanders is an instance of bacterial disease
(instance Melioidosis BacterialDisease) WMD.kif 375-375 Melioidosis is an instance of bacterial disease
(instance Brucellosis BacterialDisease) WMD.kif 388-388 Brucellosis is an instance of bacterial disease
(instance Plague BacterialDisease) WMD.kif 406-406 Plague is an instance of bacterial disease
(instance Anthrax BacterialDisease) WMD.kif 1134-1134 Anthrax is an instance of bacterial disease
(instance Gonorrhea BacterialDisease) WMD.kif 1155-1155 Gonorrhea is an instance of bacterial disease
(instance QFever BacterialDisease) WMD.kif 1158-1158 Q fever is an instance of bacterial disease
(instance Tularemia BacterialDisease) WMD.kif 1210-1210 Tularemia is an instance of bacterial disease
(instance Cholera BacterialDisease) WMD.kif 1481-1481 Cholera is an instance of bacterial disease
(instance Tetanus BacterialDisease) WMD.kif 1493-1493 Tetanus is an instance of bacterial disease
(instance Pertussis BacterialDisease) WMD.kif 1573-1573 Pertussis is an instance of bacterial disease
(instance Psittacosis BacterialDisease) WMD.kif 1597-1597 Psittacosis is an instance of bacterial disease
(instance StrepThroat BacterialDisease) WMD.kif 1751-1751 Strep throat is an instance of bacterial disease
(instance ScarletFever BacterialDisease) WMD.kif 1756-1756 Scarlet fever is an instance of bacterial disease
(instance NecrotizingFaciitis BacterialDisease) WMD.kif 1761-1761 Necrotizing faciitis is an instance of bacterial disease
(instance Legionellosis BacterialDisease) WMD.kif 1879-1879 Legionellosis is an instance of bacterial disease
(instance Diphtheria BacterialDisease) WMD.kif 1897-1897 Diphtheria is an instance of bacterial disease
(termFormat EnglishLanguage BacterialDisease "bacterial disease") domainEnglishFormat.kif 9526-9526 Diphtheria is an instance of bacterial disease
(termFormat ChineseTraditionalLanguage BacterialDisease "細菌性疾病") domainEnglishFormat.kif 9527-9527 Diphtheria is an instance of bacterial disease

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))
Mid-level-ontology.kif 11137-11142 If X is a subclass of antibiotic, then there exists Y such that Y is an instance of bacterial disease and X is medicine for Y
(=>
    (and
        (instance ?BACTERIUM BacterialAgent)
        (instance ?BACTERIUM ?CLASS)
        (biochemicalAgentSyndrome ?CLASS ?SYNDROME))
    (instance ?SYNDROME BacterialDisease))
WMD.kif 1120-1125 If X is an instance of bacterial agent, X is an instance of Y, and Z is a biochemical agent syndrome of Y, then Z is an instance of bacterial disease
(=>
    (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))
WMD.kif 1270-1272 If X is disease treatment antibiotic for Y, then X is an instance of bacterial disease
(=>
    (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (subclass ?PROCESS Putting)))
WMD.kif 1318-1322 If X is disease treatment bacitracin for Y, then X is an instance of bacterial disease and Y is a subclass of putting


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners