| 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 14315-14316 | |
| (externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") | pictureList.kif 943-943 | |
| (subclass Bacterium Microorganism) | Merge.kif 14314-14314 |
| appearance as argument number 2 |
|
|
| (subclass BacterialAgent Bacterium) | WMD.kif 199-199 | |
| (termFormat ChineseLanguage Bacterium "细菌") | chinese_format.kif 974-974 | |
| (termFormat EnglishLanguage Bacterium "bacterium") | english_format.kif 1155-1155 |
| antecedent |
|
|
| (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14331-14335 | |
| (=> (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 14318-14329 | |
| (=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 |
| consequent |
|
|
| (=> (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 ?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 2191-2201 |
|
|
|