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 5823-5824
(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 5822-5822 BacterialDisease は InfectiousDisease の subclass では %n

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


(instance Anthrax BacterialDisease) WMD.kif 1138-1138 Anthrax は BacterialDisease の instance では %n
(instance BacterialPneumonia BacterialDisease) Mid-level-ontology.kif 6216-6216 BacterialPneumonia は BacterialDisease の instance では %n
(instance Botulism BacterialDisease) WMD.kif 332-332 Botulism は BacterialDisease の instance では %n
(instance Brucellosis BacterialDisease) WMD.kif 393-393 Brucellosis は BacterialDisease の instance では %n
(instance Cholera BacterialDisease) WMD.kif 1485-1485 Cholera は BacterialDisease の instance では %n
(instance Diphtheria BacterialDisease) WMD.kif 1901-1901 Diphtheria は BacterialDisease の instance では %n
(instance Glanders BacterialDisease) WMD.kif 364-364 Glanders は BacterialDisease の instance では %n
(instance Gonorrhea BacterialDisease) WMD.kif 1159-1159 Gonorrhea は BacterialDisease の instance では %n
(instance Legionellosis BacterialDisease) WMD.kif 1883-1883 Legionellosis は BacterialDisease の instance では %n
(instance LouseBorneTyphus BacterialDisease) WMD.kif 271-271 LouseBorneTyphus は BacterialDisease の instance では %n
(instance LymeDisease BacterialDisease) Medicine.kif 1404-1404 LymeDisease は BacterialDisease の instance では %n
(instance Melioidosis BacterialDisease) WMD.kif 380-380 Melioidosis は BacterialDisease の instance では %n
(instance NecrotizingFaciitis BacterialDisease) WMD.kif 1765-1765 NecrotizingFaciitis は BacterialDisease の instance では %n
(instance Pertussis BacterialDisease) WMD.kif 1577-1577 Pertussis は BacterialDisease の instance では %n
(instance Plague BacterialDisease) WMD.kif 411-411 Plague は BacterialDisease の instance では %n
(instance Psittacosis BacterialDisease) WMD.kif 1601-1601 Psittacosis は BacterialDisease の instance では %n
(instance QFever BacterialDisease) WMD.kif 1162-1162 QFever は BacterialDisease の instance では %n
(instance RockyMountainSpottedFever BacterialDisease) WMD.kif 258-258 RockyMountainSpottedFever は BacterialDisease の instance では %n
(instance ScarletFever BacterialDisease) WMD.kif 1760-1760 ScarletFever は BacterialDisease の instance では %n
(instance StrepThroat BacterialDisease) WMD.kif 1755-1755 StrepThroat は BacterialDisease の instance では %n
(instance Tetanus BacterialDisease) WMD.kif 1497-1497 Tetanus は BacterialDisease の instance では %n
(instance Tuberculosis BacterialDisease) Mid-level-ontology.kif 6184-6184 Tuberculosis は BacterialDisease の instance では %n
(instance Tularemia BacterialDisease) WMD.kif 1214-1214 Tularemia は BacterialDisease の instance では %n
(termFormat ChineseLanguage BacterialDisease "细菌性疾病") domainEnglishFormat.kif 9528-9528
(termFormat ChineseTraditionalLanguage BacterialDisease "細菌性疾病") domainEnglishFormat.kif 9527-9527

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (and
        (instance ?BACTERIUM BacterialAgent)
        (instance ?BACTERIUM ?CLASS)
        (biochemicalAgentSyndrome ?CLASS ?SYNDROME))
    (instance ?SYNDROME BacterialDisease))		 WMD.kif 1124-1129
(=>
    (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)
    (instance ?DISEASE BacterialDisease))		 WMD.kif 1274-1276
(=>
    (diseaseMedicine ?DISEASE Bacitracin ?PROCESS)
    (and
        (instance ?DISEASE BacterialDisease)
        (subclass ?PROCESS Putting)))		 WMD.kif 1322-1326
(=>
    (subclass ?A Antibiotic)
    (exists (?D)
        (and
            (instance ?D BacterialDisease)
            (medicine ?A ?D))))		 Mid-level-ontology.kif 9671-9676


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