Knowledge-based Consistency Testing of Large Language Models