| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 142-144 |
|
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 140-140 |
emotionTendency 的 1 数量 是 施事体 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 141-141 |
emotionTendency 的 2 数量 是 情绪状态 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
emotion.kif 139-139 |
emotionTendency 是 二元谓语 的 instance |
emotionTendency