Bacterium - Sigma Knowledge base Browser

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 14631-14632
(externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg")	pictureList.kif 942-942
(subclass Bacterium Microorganism)	Merge.kif 14630-14630	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 Borrelia Bacterium)	Medicine.kif 1419-1419	Borrelia is a subclass of bacterium
(subclass EscherichiaColi Bacterium)	Medicine.kif 5470-5470	E. coli is a subclass of bacterium
(subclass FaecalibacteriumPrausnitzii Bacterium)	Medicine.kif 5283-5283	Faecalibacterium prausnitzii is a subclass of bacterium
(subclass IntestinibacterBartlettii Bacterium)	Medicine.kif 4218-4218	Intestinibacter bartlettii is a subclass of bacterium
(subclass Intestinimonas Bacterium)	Medicine.kif 4418-4418	Intestinimonas is a subclass of bacterium
(subclass Staphylococcus Bacterium)	Medicine.kif 1976-1976	Staphylococcus is a subclass of bacterium
(termFormat ChineseLanguage Bacterium "细菌")	chinese_format.kif 974-974	Staphylococcus is a subclass of bacterium
(termFormat EnglishLanguage Bacterium "bacterium")	english_format.kif 1155-1155	Staphylococcus is a subclass of bacterium
(termFormat FrenchLanguage Bacterium "bact�rie")	french_format.kif 651-651	Staphylococcus is a subclass of bacterium
(termFormat Hindi Bacterium "jIvaaNu")	terms-hindi.txt 182-182	Staphylococcus is a subclass of bacterium
(termFormat ItalianLanguage Bacterium "Bacterio")	terms-it.txt 185-185	Staphylococcus is a subclass of bacterium
(termFormat JapaneseLanguage Bacterium "細菌")	japanese_format.kif 2335-2335	Staphylococcus is a subclass of bacterium
(termFormat PortugueseLanguage Bacterium "Bacteria")	portuguese_format.kif 603-603	Staphylococcus is a subclass of bacterium
(termFormat cb Bacterium "kagaw")	terms-cb.txt 187-187	Staphylococcus is a subclass of bacterium
(termFormat cz Bacterium "bacterium")	terms-cz.txt 219-219	Staphylococcus is a subclass of bacterium
(termFormat de Bacterium "Bakterium")	terms-de.txt 478-478	Staphylococcus is a subclass of bacterium
(termFormat ro Bacterium "bacterie")	relations-ro.kif 672-672	Staphylococcus is a subclass of bacterium
(termFormat tg Bacterium "sanhi ng sakit")	terms-tg.txt 186-186	Staphylococcus is a subclass of bacterium

antecedent

(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism))	Merge.kif 14647-14651	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 14634-14645	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 equal the other corpuscular object and 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 5072-5081	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 5371-5376	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 2689-2699	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 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