Assertion: linux kernel based operating system | /r/HasProperty | redhat/centos
Facets:
Source sentences:
text: The most popular Linux Kernel-based operating systems are Ubuntu, Linux Mint, Debian, Fedona, RedHat/centOS and openSUSE.