No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1339-1339 |
FearfulFacialExpression 和 Fear 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2061-2061 |
FearfulVoiceUtterance 和 Fear 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 695-695 |
Panic 是 Fear 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1155-1155 |
Terror 是 Fear 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1023-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1021-1021 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1020-1020 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1019-1019 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1022-1022 |
utterance 英语, Fear and "afraid" |