bakterie (Bacterium)

bacteria, bacterium: single-celled or noncellular spherical or spiral or rod-shaped organisms lacking chlorophyll that reproduce by fission; important as pathogens and for biochemical properties; taxonomy is difficult; often considered plants
bacteroidal, bacteroid, bacterioidal, bacterioid: resembling bacteria
bacterial: relating to or caused by bacteria; "bacterial infection"
bacterially: by bacteria; "spreads bacterially"

See more related synsets on a separate page.

Axiomy (2)

jestliže bacterium je instancí třídy bakterie,
potom existuje buňka cell1 tak, že cell1 je a component of bacterium a pro všechny cell2 platí: jestliže cell2 je a component of bacterium a cell2 je instancí třídy buňka, potom cell1 se rovná cell2

(=>
      (instance ?BACTERIUM Bacterium)
      (exists
            (?CELL1)
            (and
                  (component ?CELL1 ?BACTERIUM)
                  (instance ?CELL1 Cell)
                  (forall
                        (?CELL2)
                        (=>
                              (and
                                    (component ?CELL2 ?BACTERIUM)
                                    (instance ?CELL2 Cell))
                              (equal ?CELL1 ?CELL2))))))

Jestliže bacterium je instancí třídy bakterie a bacterium lives in obj, potom obj je instancí třídy organismus.

(=>
      (and
            (instance ?BACTERIUM Bacterium)
            (inhabits ?BACTERIUM ?OBJ))
      (instance ?OBJ Organism))