No TPTP formula. May not be expressible in strict first order. | Merge.kif 17313-17313 | 规范属性 是 关联属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17344-17344 | 主观评价属性 是 规范属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17402-17402 | 客观标准 是 规范属性 的 subclass |
![]() |