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

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 14502-14503
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 14501-14501	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 5461-5461	E. coli is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5274-5274	Faecalibacterium prausnitzii is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4411-4411	Intestinimonas is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1979-1979	Staphylococcus is a subclass of bacterium
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 974-974
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1155-1155
No TPTP formula. May not be expressible in strict first order.	french_format.kif 651-651
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 182-182
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 185-185
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2335-2335
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 603-603
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 187-187
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 219-219
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 672-672
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 186-186

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
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 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
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 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
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 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