A、知识库既要简洁，又要具有多种功能，需要同一模型能够适应多种查询和各种环境

B、要实现表示的一般性，首先要对逻辑结构进行一些修改；再将类型层次化，最高层是一般的，低层则越来越特殊，呈树形结构

C、因为每个模型都通过输入和输出来描述，所以一个模型必须由多个公式来定义

D、表示法中允许有标量和矢量变元，其中矢量变元包括多个同型成员