Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. emotion.kif 86-86 子類 EmotionalSpeakingBehavior and 說話
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 97-97 子類 EmotionalVoiceUtterances 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 2032-2032 子類 SpeakingAssertively 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 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 2075-2075 子類 SpeakingAtASlowerRate 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 2086-2086 子類 SpeakingWithTremblingVoice 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


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