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

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 ist eine teilkategorie von Microorganism

appearance as argument number 2

(subclass BacterialAgent Bacterium)	WMD.kif 199-199	BacterialAgent ist eine teilkategorie von Bacterium
(subclass EscherichiaColi Bacterium)	Medicine.kif 5461-5461	EscherichiaColi ist eine teilkategorie von Bacterium
(subclass FaecalibacteriumPrausnitzii Bacterium)	Medicine.kif 5274-5274	FaecalibacteriumPrausnitzii ist eine teilkategorie von Bacterium
(subclass Intestinimonas Bacterium)	Medicine.kif 4411-4411	Intestinimonas ist eine teilkategorie von Bacterium
(subclass Staphylococcus Bacterium)	Medicine.kif 1979-1979	Staphylococcus ist eine teilkategorie von 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	Wenn Organism ist ein fall von Bacterium %n{nicht} und Organism wohnt in Object, dann Object ist ein fall von Organism %n{nicht}
(=> (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	Wenn CorpuscularObject ist ein fall von Bacterium %n{nicht}, dann es gibt CorpuscularObject um CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von Cell %n{nicht} und fuer alle CorpuscularObject wenn CorpuscularObject ist ein bestandteil von CorpuscularObject %n{nicht} und CorpuscularObject ist ein fall von Cell %n{nicht}, dann CorpuscularObject ist gleich CorpuscularObject %n{nicht}
(=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002))))	WMD.kif 205-211	Wenn Physical ist ein fall von Bacterium %n{nicht}, dann es gibt RealNumber um die breite von Physical ist RealNumber Meter(s) %n{nicht} und RealNumber ist groesserAlsOderGleich 0.000001 %n{nicht} und RealNumber ist kleinerAlsOderGleich 0.000002 %n{nicht}

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	Wenn Pyelonephritis ist ein attribut von Object %n{nicht}, dann die Aussage es gibt entity und entity um entity ist ein fall von Bacterium %n{nicht} und entity ist ein fall von Kidney %n{nicht} und entity ist ein teil von Object %n{nicht} und entity befindet sich an %n{nicht} hat die modale Kraft von 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	Wenn Object ist ein fall von Antibiotic %n{nicht}, dann es gibt SymbolicString und entity um Object ist faehig %n{nicht}, in der Rolle agent die kategorie die SymbolicString beschreibt zu tun
(=> (instance ?G GramStaining) (exists (?B) (and (instance ?B Bacterium) (patient ?G ?B))))	Medicine.kif 5362-5367	Wenn Process ist ein fall von GramStaining %n{nicht}, dann es gibt Entity um Entity ist ein fall von Bacterium %n{nicht} und Entity ist ein patient von ** Process %n{nicht}
(=> (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	Wenn Physical ist ein fall von Toothbrush %n{nicht}, dann Physical hat Zweck von es gibt entity, entity, and und PhysicalOOTH um PhysicalOOTH ist ein fall von Tooth %n{nicht} und Physical ist ein instrument fuer entity %n{nicht} und entity ist ein fall von Killing %n{nicht} und entity ist ein fall von Bacterium %n{nicht} und entity ist ein patient von entity %n{nicht} und PhysicalOOTH ist ein patient von entity %n{nicht} %n{nicht}

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