actionTendency - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 158-159
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 157-157	The number 2 argument of action tendency is a subclass of emotional behavioral process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 155-155	action tendency is an instance of binary predicate

appearance as argument number 2

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

domainEnglishFormat.kif 65794-65794

antecedent

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

emotion.kif 161-172

If an emotional state is an attribute of an entity holds during a time position and action tendency the emotional state and a kind of emotional behavioral process,
then the statement there exists another entity such that the other entity is an instance of a kind of emotional behavioral process and the time of existence of the other entity takes place during the time position and the entity experiences the other entity has the modal force of likely

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	emotion.kif 186-186	action tendency anger and angry facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 182-182	action tendency disgust and disgusted facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 183-183	action tendency angst and fearful facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 175-175	action tendency grief and weeping
No TPTP formula. May not be expressible in strict first order.	emotion.kif 184-184	action tendency happiness and happy facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 176-176	action tendency happiness and laughing
No TPTP formula. May not be expressible in strict first order.	emotion.kif 177-177	action tendency happiness and smiling
No TPTP formula. May not be expressible in strict first order.	emotion.kif 185-185	action tendency sadness and sad facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 179-179	action tendency surprise and jaw dropping
No TPTP formula. May not be expressible in strict first order.	emotion.kif 180-180	action tendency surprise and opening eyes widely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 181-181	action tendency surprise and raising eyebrows
No TPTP formula. May not be expressible in strict first order.	emotion.kif 174-174	action tendency surprise and surprised facial expression
No TPTP formula. May not be expressible in strict first order.	emotion.kif 178-178	action tendency unhappiness and frowning

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: