"Bullifex porci" Wylensek et al. 2020 Dataset NCBI Taxonomy Classification phylum Spirochaetota class Spirochaetia order Spirochaetales family Spirochaetaceae genus Bullifex species Bullifex porci Name Homonyms Bullifex porci "Bullifex porci" Wylensek et al. 2020 Bullifex porci Wylensek et al. 2021