A Jónsson-Tarski-Goldblatt Representation and Frame Definability for Noncontingency Logic