  This paper describes the new TPTP format for representing interpretations. It
provides a background survey that helped us ensure that the representation
format is adequate for different types of interpretations: Tarskian, Herbrand,
and Kripke interpretations. The needs of applications that use models are
considered. The syntax and semantics of the new format is expounded in detail,
with multiple examples. Verification of models is discussed. Some tools that
support processing the new format are noted. The properties of interpretations
represented in the new format are discussed.
