TreeView Knowledge Base Browser

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 ist eine teilkategorie von InfectiousDisease

appearance as argument number 2

(instance Anthrax BacterialDisease)	WMD.kif 1138-1138	Anthrax ist ein fall von BacterialDisease %n{nicht}
(instance BacterialPneumonia BacterialDisease)	Mid-level-ontology.kif 6216-6216	BacterialPneumonia ist ein fall von BacterialDisease %n{nicht}
(instance Botulism BacterialDisease)	WMD.kif 332-332	Botulism ist ein fall von BacterialDisease %n{nicht}
(instance Brucellosis BacterialDisease)	WMD.kif 393-393	Brucellosis ist ein fall von BacterialDisease %n{nicht}
(instance Cholera BacterialDisease)	WMD.kif 1485-1485	Cholera ist ein fall von BacterialDisease %n{nicht}
(instance Diphtheria BacterialDisease)	WMD.kif 1901-1901	Diphtheria ist ein fall von BacterialDisease %n{nicht}
(instance Glanders BacterialDisease)	WMD.kif 364-364	Glanders ist ein fall von BacterialDisease %n{nicht}
(instance Gonorrhea BacterialDisease)	WMD.kif 1159-1159	Gonorrhea ist ein fall von BacterialDisease %n{nicht}
(instance Legionellosis BacterialDisease)	WMD.kif 1883-1883	Legionellosis ist ein fall von BacterialDisease %n{nicht}
(instance LouseBorneTyphus BacterialDisease)	WMD.kif 271-271	LouseBorneTyphus ist ein fall von BacterialDisease %n{nicht}
(instance LymeDisease BacterialDisease)	Medicine.kif 1404-1404	LymeDisease ist ein fall von BacterialDisease %n{nicht}
(instance Melioidosis BacterialDisease)	WMD.kif 380-380	Melioidosis ist ein fall von BacterialDisease %n{nicht}
(instance NecrotizingFaciitis BacterialDisease)	WMD.kif 1765-1765	NecrotizingFaciitis ist ein fall von BacterialDisease %n{nicht}
(instance Pertussis BacterialDisease)	WMD.kif 1577-1577	Pertussis ist ein fall von BacterialDisease %n{nicht}
(instance Plague BacterialDisease)	WMD.kif 411-411	Plague ist ein fall von BacterialDisease %n{nicht}
(instance Psittacosis BacterialDisease)	WMD.kif 1601-1601	Psittacosis ist ein fall von BacterialDisease %n{nicht}
(instance QFever BacterialDisease)	WMD.kif 1162-1162	QFever ist ein fall von BacterialDisease %n{nicht}
(instance RockyMountainSpottedFever BacterialDisease)	WMD.kif 258-258	RockyMountainSpottedFever ist ein fall von BacterialDisease %n{nicht}
(instance ScarletFever BacterialDisease)	WMD.kif 1760-1760	ScarletFever ist ein fall von BacterialDisease %n{nicht}
(instance StrepThroat BacterialDisease)	WMD.kif 1755-1755	StrepThroat ist ein fall von BacterialDisease %n{nicht}
(instance Tetanus BacterialDisease)	WMD.kif 1497-1497	Tetanus ist ein fall von BacterialDisease %n{nicht}
(instance Tuberculosis BacterialDisease)	Mid-level-ontology.kif 6184-6184	Tuberculosis ist ein fall von BacterialDisease %n{nicht}
(instance Tularemia BacterialDisease)	WMD.kif 1214-1214	Tularemia ist ein fall von BacterialDisease %n{nicht}
(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	Wenn Entity ist ein fall von BacterialAgent %n{nicht} und Entity ist ein fall von BiochemicalAgent %n{nicht} und biochemicalAgentSyndrome BiochemicalAgent and DiseaseOrSyndrome, dann DiseaseOrSyndrome ist ein fall von BacterialDisease %n{nicht}
(=> (diseaseMedicine ?DISEASE Antibiotic ?PROCESS) (instance ?DISEASE BacterialDisease))	WMD.kif 1274-1276	Wenn diseaseMedicine DiseaseOrSyndrome, Antibiotic and Process, dann DiseaseOrSyndrome ist ein fall von BacterialDisease %n{nicht}
(=> (diseaseMedicine ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (subclass ?PROCESS Putting)))	WMD.kif 1322-1326	Wenn diseaseMedicine DiseaseOrSyndrome, Bacitracin and Process, dann DiseaseOrSyndrome ist ein fall von BacterialDisease %n{nicht} und ** Process ist eine teilkategorie von Putting
(=> (subclass ?A Antibiotic) (exists (?D) (and (instance ?D BacterialDisease) (medicine ?A ?D))))	Mid-level-ontology.kif 9671-9676	Wenn Medicine ist eine teilkategorie von Antibiotic, dann es gibt DiseaseOrSyndrome um DiseaseOrSyndrome ist ein fall von BacterialDisease %n{nicht} und medicine Medicine and DiseaseOrSyndrome

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: