| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1669-1669 | 抽象体 是 实体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1942-1942 | 流程任务 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1694-1694 | 数量 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | 属性 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2128-2128 | 集或类 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | 关系 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2875-2875 | 串列 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3555-3555 | 命题 是 抽象体 的 subclass |
|
|