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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3396-3396
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14526-14527
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 942-942
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14525-14525	Bacterium is a subclass of microorganism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 199-199	Bacterial agent is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5449-5449	E. coli is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5262-5262	Faecalibacterium prausnitzii is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4399-4399	Intestinimonas is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1967-1967	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 974-974	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1155-1155	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	french_format.kif 651-651	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 182-182	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 185-185	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2335-2335	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 603-603	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 187-187	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 219-219	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 478-478	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 672-672	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 186-186	Staphylococcus is a subclass of bacterium

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14542-14546	If an organism is an instance of bacterium and the organism lives in an object, then the object is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14529-14540	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5053-5062	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5350-5355	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
No TPTP formula. May not be expressible in strict first order.	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 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