一阶逻辑，假定已有整数和列表的理论的词汇和公理。补充的IDEF1X的词汇和公理来自如下本质想法：IDEF1X所建模的是一个企业所关心的事物，不是这些事物的名目，也不是关于这些事物的数据，一个IDEF1X模型预期成为这个企业所关心的事物的概念模型。这种论域UOD（universe of discourse）在它的模型之外有独立的存在和现实。在任何时间点上，UOD都处在特定状态（state）下，就是说有特定的实体实例存在，它有特定的属性值，并拥有特定的与其他实体实例的联系。对于任何UOD状态，一些句子是真的