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