No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1339-1339 |
相關的內部概念 FearfulFacialExpression and Fear |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2061-2061 |
相關的內部概念 FearfulVoiceUtterance and Fear |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 695-695 |
子屬性 Panic and Fear |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1155-1155 |
子屬性 Terror and Fear |
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" |