Independence-friendly Epistemic Logic and Some Non-firstorderisable Concepts