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