单项选择题

A.知识库既要简洁,又要具有多种功能,需要同一模型能够适应多种查询和各种环境
B.要实现表示的一般性,首先要对逻辑结构进行一些修改;再将类型层次化,最高层是一般的,低层则越来越特殊,呈树形结构
C.因为每个模型都通过输入和输出来描述,所以一个模型必须由多个公式来定义
D.表示法中允许有标量和矢量变元,其中矢量变元包括多个同型成员