Bacterium(Bacterio) |
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 | Bacterio è una sottoclasse di Microorganismo |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?BACTERIUM Bacterium) (inhabits ?BACTERIUM ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14518-14522 | |
(=> (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 | |
(=> (instance ?BACTERIUM Bacterium) (exists (?NUMBER) (and (width ?BACTERIUM (MeasureFn ?NUMBER Meter)) (greaterThanOrEqualTo ?NUMBER 0.000001) (lessThanOrEqualTo ?NUMBER 0.000002)))) |
WMD.kif 205-211 |
|
consequent |