| (subclass Abstract Entity) | Merge.kif 1669-1669 | 抽象体 是 实体 的 subclass |
| (subclass ProcessTask Abstract) | QoSontology.kif 1942-1942 | 流程任务 是 抽象体 的 subclass |
| (subclass Quantity Abstract) | Merge.kif 1694-1694 | 数量 是 抽象体 的 subclass |
| (subclass Attribute Abstract) | Merge.kif 1700-1700 | 属性 是 抽象体 的 subclass |
| (subclass SetOrClass Abstract) | Merge.kif 2128-2128 | 集或类 是 抽象体 的 subclass |
| (subclass Relation Abstract) | Merge.kif 2159-2159 | 关系 是 抽象体 的 subclass |
| (subclass List Abstract) | Merge.kif 2875-2875 | 串列 是 抽象体 的 subclass |
| (subclass Proposition Abstract) | Merge.kif 3555-3555 | 命题 是 抽象体 的 subclass |
|
|