'Knowing Whether' in Proper Epistemic Knowledge Bases