No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1339-1339 |
Fearful facial expression is internally related to angst |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 2061-2061 |
Fearful voice utterance is internally related to angst |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 695-695 |
Panic is a subattribute of angst |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1155-1155 |
Terror is a subattribute of angst |
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 english language, angst and "afraid" |