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