| No TPTP formula. May not be expressible in strict first order. | emotion.kif 86-86 | EmotionalSpeakingBehavior est une sous-classe de Speaking |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 87-87 | EmotionalSpeakingBehavior est une sous-classe de EmotionalBehavioralProcess |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 97-97 | EmotionalVoiceUtterances est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2012-2012 | SpeakingAtAFasterRate est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2032-2032 | SpeakingAssertively est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2041-2041 | SpeakingWithAlteredSpeechMelody est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2045-2045 | SpeakingInADisturbedFashion est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2049-2049 | SpeakingLoudly est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2054-2054 | SpeakingSoftly est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2075-2075 | SpeakingAtASlowerRate est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2082-2082 | NotSpeaking est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2086-2086 | SpeakingWithTremblingVoice est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2094-2094 | SpeakingALongUtterance est une sous-classe de EmotionalSpeakingBehavior |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2098-2098 | SpeakingAShortUtterance est une sous-classe de EmotionalSpeakingBehavior |
|
|