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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BacterialDisease
BacterialDisease(bacterial disease)crown_gall

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5382-5383
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5381-5381 Bacterial disease is a subclass of infectious disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1090-1090 Anthrax is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 332-332 Botulism is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 393-393 Brucellosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1421-1421 Cholera is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1800-1800 Diphtheria is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 364-364 Glanders is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1111-1111 Gonorrhea is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1782-1782 Legionellosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 271-271 Louse borne typhus is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 380-380 Melioidosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1664-1664 Necrotizing faciitis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1475-1475 Pertussis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 406-406 Plague is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1499-1499 Psittacosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1114-1114 Q fever is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 258-258 Rocky mountain spotted fever is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1659-1659 Scarlet fever is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1654-1654 Strep throat is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1433-1433 Tetanus is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5468-5468 Tuberculosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1166-1166 Tularemia is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9537-9537
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9536-9536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9535-9535

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1078-1082
No TPTP formula. May not be expressible in strict first order. WMD.kif 1225-1227
No TPTP formula. May not be expressible in strict first order. WMD.kif 1273-1277


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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