TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5823-5824
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5822-5822	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 1138-1138	Anthrax is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6216-6216	Bacterial pneumonia 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 1485-1485	Cholera is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1901-1901	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 1159-1159	Gonorrhea is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1883-1883	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.	Medicine.kif 1404-1404	Lyme disease 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 1765-1765	Necrotizing faciitis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1577-1577	Pertussis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 411-411	Plague is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1601-1601	Psittacosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1162-1162	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 1760-1760	Scarlet fever is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1755-1755	Strep throat is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1497-1497	Tetanus is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6184-6184	Tuberculosis is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1214-1214	Tularemia is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9528-9528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9527-9527

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1124-1129	If an entity is an instance of bacterial agent and the entity is an instance of a kind of biochemical agent and a disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent, then the disease or syndrome is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1274-1276	If a disease or syndrome is disease treatment antibiotic for a kind of process, then the disease or syndrome is an instance of bacterial disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1322-1326	If a disease or syndrome is disease treatment bacitracin for a kind of process, then the disease or syndrome is an instance of bacterial disease and a kind of process is a subclass of putting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9671-9676	If a kind of medicine is a subclass of antibiotic, then there exists a disease or syndrome such that the disease or syndrome is an instance of bacterial disease and a kind of medicine is medicine for the disease or syndrome

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

KB Term:			Term intersection

English Word: