式匹配UOD。一个正确的IDEF1X模型允许所有可能的UOD状态，并拒绝所有不可能状态，它们直接冲突于这个模型的显式。换句话说，一个IDEF1X模型是正确的，如果它坚持为真的句子（公理），事实上在所有可能UOD状态下是真的，在所有不可能状态下是假的。真实是依据解释来定义的。一个解释将来自UOD的元素指定（assign）给这个理论的符号。特别是，一个解释将某一个关系指定给每个谓词符号。作为结果，在理论中的句子变成关于UOD的句子，并且它们的真实要依据UOD的现实来确定。以这种方式，每个句子在这个解释中要么