No TPTP formula. May not be expressible in strict first order. |
emotion.kif 178-178 |
action tendency unhappiness and frowning |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1242-1242 |
Angry facial expression is internally related to frowning |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25082-25082 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25081-25081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25080-25080 |
|