|
|
   EmotionalSpeakingBehavior
|
|
|
| appearance as argument number 1 |
|
|
| 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 86-86 | EmotionalSpeakingBehavior 是 说话 的 subclass |
| appearance as argument number 2 |
|
|
| 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 2080-2080 | NotSpeaking 是 EmotionalSpeakingBehavior 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2092-2092 | SpeakingALongUtterance 是 EmotionalSpeakingBehavior 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2096-2096 | SpeakingAShortUtterance 是 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 2012-2012 | SpeakingAtAFasterRate 是 EmotionalSpeakingBehavior 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2073-2073 | SpeakingAtASlowerRate 是 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 2041-2041 | SpeakingWithAlteredSpeechMelody 是 EmotionalSpeakingBehavior 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2084-2084 | SpeakingWithTremblingVoice 是 EmotionalSpeakingBehavior 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 84-85 |
|
|
|