| Frowning
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13056-13057 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2682-2682 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13055-13055 | Frowning est une sous-classe de FacialExpression |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 178-178 | actionTendency Unhappiness and Frowning |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1242-1242 | AngryFacialExpression est reli� � l'int�rieur de SUMO � 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 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13059-13063 |
|
|
|
|