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 and 皺著眉頭 |
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 |
|