EmotionalState - Sigma Knowledge base Browser

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 18395-18396
No TPTP formula. May not be expressible in strict first order.	emotion.kif 413-413	Emotional state is internally related to appraisal as undesirable consequences
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18394-18394	Emotional state is a subclass of state of mind

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 968-968	Anger is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1177-1177	Anxiety is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1158-1158	Boredom is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1010-1010	Compassion is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 919-919	Concern is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1089-1089	Confusion is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 725-725	Contempt is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1059-1059	Intrigued is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 938-938	Despair is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 948-948	Disappointment is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 829-829	Disgust is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 979-979	Embarrassment is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1182-1182	Stress (emotion) is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 916-916	Expectant is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1018-1018	Angst is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1916-1916	Dubious is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 988-988	Grief is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1079-1079	Guilt is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 816-816	Happiness is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1040-1040	Hate is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1192-1192	Hope is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 995-995	Inspiration (emotion) is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 723-723	Interest is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 928-928	Irritation is an instance of emotional state

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	The number 1 argument of action tendency is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2123-2123	The number 1 argument of attitude for formula is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 2116-2116	The number 1 argument of attitude for object is an instance of emotional state
No TPTP formula. May not be expressible in strict first order.	emotion.kif 141-141	The number 2 argument of emotion tendency is an instance of emotional state

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 10670-10691

If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of mood stabilizer and a process is an instance of the processC and the agent is an involved in event of the process and the processS is an attribute of the agent holds during the time of existence of the process and the processS is an instance of emotional state and the process2 is an instance of the processC and the agent is an involved in event of the process2 and the time of existence of the process2 happens earlier than the time of existence of the transfer,
then the statement the processS is an attribute of the agent doesn't hold during the process2 has the modal force of unlikely

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22563-22578	If a process is an instance of blushing and an agent experiences the process, then there exist a time interval, another time interval,, , an entity and another entity such that the entity is an instance of emotional state and the other entity is an instance of emotional state and the entity is not equal to the other entity and the entity is an attribute of the agent holds during the time interval and the other entity is an attribute of the agent holds during the other time interval and the time of existence of the process starts the other time interval and the time of existence of the process finishes the time interval
No TPTP formula. May not be expressible in strict first order.	emotion.kif 99-106	If an entity is an instance of emotional voice utterances, then there exist another entity and a third entity such that the other entity is an instance of emotional state and the other entity is an attribute of the third entity causes the third entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1371-1378	If a process is an instance of physiological response to emotion process, then there exist another process and an agent such that the other process is an instance of emotional state and the agent experiences the other process and the agent experiences the process and the other process causes the process

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

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

KB Term:			Term intersection

English Word: