| 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 13453-13454 | |
| (externalImage Bacterium "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9d/ Cholera_bacteria_SEM.jpg") | pictureList.kif 943-943 | |
| (subclass Bacterium Microorganism) | Merge.kif 13452-13452 | subclass Bacterium and Microorganism |
| appearance as argument number 2 |
|
|
| (subclass BacterialAgent Bacterium) | WMD.kif 199-199 | subclass BacterialAgent and Bacterium |
| (termFormat ChineseLanguage Bacterium "细菌") | chinese_format.kif 974-974 | |
| (termFormat EnglishLanguage Bacterium "bacterium") | english_format.kif 1160-1160 |
| antecedent |
|
|
| (=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 13469-13473 | |
| (=> (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 13456-13467 | |
| (=> (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) (capability (KappaFn ?KILL (and (instance ?KILL Killing) (patient ?KILL ?BACTERIUM) (instance ?BACTERIUM Bacterium))) agent ?ANTIBIOTIC)) |
WMD.kif 1183-1190 |
|
| (=> (instance ?T Toothbrush) (hasPurpose ?T (exists (?K) (and (instance ?TOOTH Tooth) (instrument ?K ?T) (instance ?K Killing) (instance ?B Bacterium) (patient ?K ?B) (patient ?K ?TOOTH))))) |
Mid-level-ontology.kif 2687-2697 |
|
|
|