Another way to say "bats use sonar to navigate" is "Navigation by bats is carried out by sonar."