Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  EmotionalSpeakingBehavior

Sigma KEE - EmotionalSpeakingBehavior
EmotionalSpeakingBehavior

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 87-87 子類 EmotionalSpeakingBehavior and EmotionalBehavioralProcess
No TPTP formula. May not be expressible in strict first order. emotion.kif 86-86 子類 EmotionalSpeakingBehavior and 說話

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 97-97 子類 EmotionalVoiceUtterances and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2082-2082 子類 NotSpeaking and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2094-2094 子類 SpeakingALongUtterance and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2098-2098 子類 SpeakingAShortUtterance and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2032-2032 子類 SpeakingAssertively and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2012-2012 子類 SpeakingAtAFasterRate and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2075-2075 子類 SpeakingAtASlowerRate and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2045-2045 子類 SpeakingInADisturbedFashion and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2049-2049 子類 SpeakingLoudly and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2054-2054 子類 SpeakingSoftly and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2041-2041 子類 SpeakingWithAlteredSpeechMelody and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 2086-2086 子類 SpeakingWithTremblingVoice and EmotionalSpeakingBehavior
No TPTP formula. May not be expressible in strict first order. emotion.kif 84-85


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners