Another way to say "bats use sonar to navigate" is "A mammal that uses sonar to navigate is a bat."