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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EmotionalState

 Sigma KEE - EmotionalState
EmotionalState(情绪状态)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 4037-4038
No TPTP formula. May not be expressible in strict first order. Merge.kif 18291-18292
No TPTP formula. May not be expressible in strict first order. emotion.kif 413-413 情绪状态 和 AppraisalAsUndesirableConsequences 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 18290-18290 情绪状态 是 心理状态 的 subclass

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 968-968 愤怒 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1177-1177 焦虑 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1158-1158 Boredom 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1010-1010 Compassion 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 919-919 Concern 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1089-1089 Confusion 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 725-725 Contempt 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1059-1059 Curiosity 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 938-938 Despair 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 948-948 Disappointment 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 829-829 Disgust 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 979-979 Embarrassment 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1182-1182 EmotionalStress 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 916-916 Expectant 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1018-1018 Fear 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1916-1916 FeelingDubious 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 988-988 Grief 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1079-1079 Guilt 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 816-816 幸福 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1040-1040 Hate 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 1192-1192 Hope 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 995-995 InspirationEmotion 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 723-723 Interested 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 928-928 Irritation 是 情绪状态 的 instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 156-156 actionTendency 的 1 数量 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 2125-2125 attitudeForFormula 的 1 数量 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 2118-2118 attitudeForObject 的 1 数量 是 情绪状态 的 instance
No TPTP formula. May not be expressible in strict first order. emotion.kif 141-141 emotionTendency 的 2 数量 是 情绪状态 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9774-9795

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21474-21489
No TPTP formula. May not be expressible in strict first order. emotion.kif 99-106
No TPTP formula. May not be expressible in strict first order. emotion.kif 1371-1378


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