$ whois -h whois.radb.net -- '-i origin AS714' | grep -Eo "([0-9.]+){4}/[0-9]+"
але щодо цього способа є скарги, що інколи вивід обрізається: https://superuser.com/questions/405666/how-to-find-out-all-ip-ranges-belonging-to-a-certain-as