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 5822-5823
(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 5821-5821 BacterialDisease è una sottoclasse di InfectiousDisease

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


(instance Anthrax BacterialDisease) WMD.kif 1138-1138 Anthrax è un' istanza di BacterialDisease
(instance BacterialPneumonia BacterialDisease) Mid-level-ontology.kif 6215-6215 BacterialPneumonia è un' istanza di BacterialDisease
(instance Botulism BacterialDisease) WMD.kif 332-332 Botulism è un' istanza di BacterialDisease
(instance Brucellosis BacterialDisease) WMD.kif 393-393 Brucellosis è un' istanza di BacterialDisease
(instance Cholera BacterialDisease) WMD.kif 1485-1485 Cholera è un' istanza di BacterialDisease
(instance Diphtheria BacterialDisease) WMD.kif 1901-1901 Diphtheria è un' istanza di BacterialDisease
(instance Glanders BacterialDisease) WMD.kif 364-364 Glanders è un' istanza di BacterialDisease
(instance Gonorrhea BacterialDisease) WMD.kif 1159-1159 Gonorrhea è un' istanza di BacterialDisease
(instance Legionellosis BacterialDisease) WMD.kif 1883-1883 Legionellosis è un' istanza di BacterialDisease
(instance LouseBorneTyphus BacterialDisease) WMD.kif 271-271 LouseBorneTyphus è un' istanza di BacterialDisease
(instance LymeDisease BacterialDisease) Medicine.kif 1404-1404 LymeDisease è un' istanza di BacterialDisease
(instance Melioidosis BacterialDisease) WMD.kif 380-380 Melioidosis è un' istanza di BacterialDisease
(instance NecrotizingFaciitis BacterialDisease) WMD.kif 1765-1765 NecrotizingFaciitis è un' istanza di BacterialDisease
(instance Pertussis BacterialDisease) WMD.kif 1577-1577 Pertussis è un' istanza di BacterialDisease
(instance Plague BacterialDisease) WMD.kif 411-411 Plague è un' istanza di BacterialDisease
(instance Psittacosis BacterialDisease) WMD.kif 1601-1601 Psittacosis è un' istanza di BacterialDisease
(instance QFever BacterialDisease) WMD.kif 1162-1162 QFever è un' istanza di BacterialDisease
(instance RockyMountainSpottedFever BacterialDisease) WMD.kif 258-258 RockyMountainSpottedFever è un' istanza di BacterialDisease
(instance ScarletFever BacterialDisease) WMD.kif 1760-1760 ScarletFever è un' istanza di BacterialDisease
(instance StrepThroat BacterialDisease) WMD.kif 1755-1755 StrepThroat è un' istanza di BacterialDisease
(instance Tetanus BacterialDisease) WMD.kif 1497-1497 Tetanus è un' istanza di BacterialDisease
(instance Tuberculosis BacterialDisease) Mid-level-ontology.kif 6183-6183 Tuberculosis è un' istanza di BacterialDisease
(instance Tularemia BacterialDisease) WMD.kif 1214-1214 Tularemia è un' istanza di BacterialDisease
(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 9670-9675


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