的元素指定（assign）给这个理论的符号。特别是，一个解释将某一个关系指定给每个谓词符号。作为结果，在理论中的句子变成关于UOD的句子，并且它们的真实要依据UOD的现实来确定。以这种方式，每个句子在这个解释中要么是真要么是假。一个解释被称为一个理论的“模型”，如果这个理论的所有公理在这个解释中都是真的。一个IDEF1X模型是正确的，当且仅当对应于它的理论，仅拥有所有的将可能的UOD状态指定给这个理论的符号的那些解释作为“模型”。 在形式化中，一个实体类（或联系）成为一个谓词符号。在逻辑中，一个解释将一