| 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 14511-14512 | |
| (externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") | pictureList.kif 942-942 | |
| (subclass Bacterium Microorganism) | Merge.kif 14510-14510 |
| appearance as argument number 2 |
|
|
| (subclass BacterialAgent Bacterium) | WMD.kif 199-199 | |
| (subclass EscherichiaColi Bacterium) | Medicine.kif 5449-5449 | |
| (subclass FaecalibacteriumPrausnitzii Bacterium) | Medicine.kif 5262-5262 | |
| (subclass Intestinimonas Bacterium) | Medicine.kif 4399-4399 | |
| (subclass Staphylococcus Bacterium) | Medicine.kif 1967-1967 | |
| (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 14527-14531 | |
| (=> (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 14514-14525 | |
| (=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 |
| consequent |
|
|
| (=> (attribute ?H Pyelonephritis) (modalAttribute (exists (?B ?K) (and (instance ?B Bacterium) (instance ?K Kidney) (part ?K ?H) (located ?B ?K))) Likely)) |
Medicine.kif 5053-5062 | |
| (=> (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 | |
| (=> (instance ?G GramStaining) (exists (?B) (and (instance ?B Bacterium) (patient ?G ?B)))) |
Medicine.kif 5350-5355 | |
| (=> (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 |
|
|
|