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 18312-18312 | 情绪状态 是 心理状态 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18316-18316 | 意识状态 是 心理状态 的 subclass |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal 是 心理状态 的 subclass |
![]() |