Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bacterium

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 14188-14189
No TPTP formula. May not be expressible in strict first order. pictureList.kif 943-943
No TPTP formula. May not be expressible in strict first order. Merge.kif 14187-14187 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. chinese_format.kif 974-974
No TPTP formula. May not be expressible in strict first order. english_format.kif 1155-1155

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14204-14208
No TPTP formula. May not be expressible in strict first order. Merge.kif 14191-14202
No TPTP formula. May not be expressible in strict first order. WMD.kif 205-211

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1256-1263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2181-2191


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