No TPTP formula. May not be expressible in strict first order. |
emotion.kif 178-178 |
actionTendency 不幸 and 皱着眉头 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1242-1242 |
AngryFacialExpression 和 皱着眉头 是 内部相关 |
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 |
|