间接）用到的全部的实体和域。形式化处理过程产生相应的一阶逻辑中的。一阶逻辑可以被当作是自然语言的用来描述和推理事物的那些方面的形式语言版本。个体事物使用常量、变量和函数符号来指称；在事物之间的关系使用符号来陈述；而关于事物联系的句子通过逻辑联结词比如与、或、非，和全称（for all）及存在（for some）量词来陈述。一阶逻辑理论构成自其中常量、函数和谓词符号被限定于特定词汇表（vocabulary）的一阶逻辑的语言，加上这个语言中的一组句子（叫做公理）。IDEF1X理论的起点是带有等式的一阶逻