No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1961-1962 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1963-1963 |
SadVoiceUtterance est reli� � l'int�rieur de SUMO � tristesse |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1960-1960 |
SadVoiceUtterance est reli� � l'int�rieur de SUMO � Weeping |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1965-1965 |
SadVoiceUtterance est une sous-classe de EmotionalVoiceUtterances |