No TPTP formula. May not be expressible in strict first order. | Merge.kif 17291-17291 | 规范属性 是 关联属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17322-17322 | 主观评价属性 是 规范属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17380-17380 | 客观标准 是 规范属性 的 subclass |