TreeView Knowledge Base Browser - Bacterium

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Bacterium

Bacterium(bacterium)

Actinomycetaceae, Actinomycetales, Aerobacter, Aerobacter_aerogenes, Agrobacterium, Agrobacterium_tumefaciens, Athiorhodaceae, B, Bacillaceae, Bacillus_globigii, Bacillus_subtilis, Bacteroidaceae, Bacteroides, Borrelia_burgdorferi, Calymmatobacterium, Calymmatobacterium_granulomatis, Corynebacteriaceae, Cyanophyceae, Diplococcus_pneumoniae, E._coli, Enterobacteriaceae, Escherichia_coli, Eubacteriales, Francisella, Gartner's_bacillus, Gram-negative, Gram-positive, H._pylori, Heliobacter, Heliobacter_pylori, L._monocytogenes, Lactobacillaceae, Lactobacillus_acidophilus, Lactobacteriaceae, Lime_disease_spirochete, Listeria_monocytogenes, Micrococcaceae, Micrococcus, Monera, Mycobacteriaceae, Mycobacterium_leprae, Mycoplasmataceae, Mycoplasmatales, Myxobacterales, Myxobacteriaceae, Myxobacteriales, Myxophyceae, Nitrobacter, Nitrobacteriaceae, Nitrosomonas...

appearance as argument number 1

(documentation Bacterium ChineseLanguage "这是一种细小、一般为单细胞和原核的 Microorganism。")	chinese_format.kif 3396-3396
(documentation Bacterium EnglishLanguage "A small, typically one-celled, prokaryotic Microorganism.")	Merge.kif 14502-14503
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg")	pictureList.kif 942-942
(subclass Bacterium Microorganism)	Merge.kif 14501-14501	Bacterium is a subclass of microorganism

appearance as argument number 2

(subclass BacterialAgent Bacterium)	WMD.kif 199-199	Bacterial agent is a subclass of bacterium
(subclass EscherichiaColi Bacterium)	Medicine.kif 5461-5461	E. coli is a subclass of bacterium
(subclass FaecalibacteriumPrausnitzii Bacterium)	Medicine.kif 5274-5274	Faecalibacterium prausnitzii is a subclass of bacterium
(subclass Intestinimonas Bacterium)	Medicine.kif 4411-4411	Intestinimonas is a subclass of bacterium
(subclass Staphylococcus Bacterium)	Medicine.kif 1979-1979	Staphylococcus is a subclass of bacterium
(termFormat ChineseLanguage Bacterium "细菌")	chinese_format.kif 974-974
(termFormat EnglishLanguage Bacterium "bacterium")	english_format.kif 1155-1155
(termFormat FrenchLanguage Bacterium "bact�rie")	french_format.kif 651-651
(termFormat Hindi Bacterium "jIvaaNu")	terms-hindi.txt 182-182
(termFormat ItalianLanguage Bacterium "Bacterio")	terms-it.txt 185-185
(termFormat JapaneseLanguage Bacterium "細菌")	japanese_format.kif 2335-2335
(termFormat PortugueseLanguage Bacterium "Bacteria")	portuguese_format.kif 603-603
(termFormat cb Bacterium "kagaw")	terms-cb.txt 187-187
(termFormat cz Bacterium "bacterium")	terms-cz.txt 219-219
(termFormat ro Bacterium "bacterie")	relations-ro.kif 672-672
(termFormat tg Bacterium "sanhi ng sakit")	terms-tg.txt 186-186

antecedent

(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14518-14522	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
(=> (instance ?BACTERIUM Bacterium) (exists (?CELL1) (and (component ?CELL1 ?BACTERIUM) (instance ?CELL1 Cell) (forall (?CELL2) (=> (and (component ?CELL2 ?BACTERIUM) (instance ?CELL2 Cell)) (equal ?CELL1 ?CELL2))))))	Merge.kif 14505-14516	If a corpuscular object is an instance of bacterium, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of cell and for all a third corpuscular object if the third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of cell, then the other corpuscular object is equal to the third corpuscular object
(=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002))))	WMD.kif 205-211	If a physical is an instance of bacterium, then there exists a real number such that the width of the physical is the real number meter(s) and the real number is greater than or equal to 0.000001 and the real number is less than or equal to 0.000002

consequent

(=> (attribute ?H Pyelonephritis) (modalAttribute (exists (?B ?K) (and (instance ?B Bacterium) (instance ?K Kidney) (part ?K ?H) (located ?B ?K))) Likely))	Medicine.kif 5065-5074	If urosepsis is an attribute of an object, then the statement there exist an entity and another entity such that the entity is an instance of bacterium and the other entity is an instance of kidney and the other entity is a part of the object and the entity is located at the other entity has the modal force of likely
(=> (instance ?ANTIBIOTIC Antibiotic) (exists (?KILL ?BACTERIUM) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)))	WMD.kif 1264-1272	If an object is an instance of antibiotic, then there exist a symbolic string and an entity such that the object is capable of doing the class described by the symbolic string as a agent
(=> (instance ?G GramStaining) (exists (?B) (and (instance ?B Bacterium) (patient ?G ?B))))	Medicine.kif 5362-5367	If a process is an instance of Gram stain, then there exists an entity such that the entity is an instance of bacterium and the entity is a patient of the process
(=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K ?B ?TOOTH) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH)))))	Mid-level-ontology.kif 2219-2229	If a physical is an instance of toothbrush, then the physical has the purpose there exist an entity, another entity and the physicalOOTH such that the physicalOOTH is an instance of tooth and the physical is an instrument for the entity and the entity is an instance of killing and the other entity is an instance of bacterium and the other entity is a patient of the entity and the physicalOOTH is a patient of the entity

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