No TPTP formula. May not be expressible in strict first order. | Merge.kif 18256-18256 | 心理属性 是 生物属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18284-18284 | 心理状态 是 心理属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18350-18350 | 特征属性 是 心理属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18354-18354 | 心理功能障碍 是 心理属性 的 subclass |