Surprise - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Surprise

Surprise(surprise)

admiration, amazed, amazement, astonied, astonished, astonishment, astounded, daze, shock, startled, stunned, stupor, surprise, surprised, wonder, wonderment

appearance as argument number 1

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 906-910
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19345-19346
No TPTP formula. May not be expressible in strict first order.	emotion.kif 912-912	Surprise is an instance of emotional state

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1274-1274	Surprised facial expression is internally related to surprise
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1925-1925	Surprised voice utterance is internally related to surprise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56377-56377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56376-56376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 56375-56375
No TPTP formula. May not be expressible in strict first order.	emotion.kif 911-911
No TPTP formula. May not be expressible in strict first order.	emotion.kif 904-904
No TPTP formula. May not be expressible in strict first order.	emotion.kif 913-913	utterance english language, surprise and "surprised"

antecedent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 1281-1290	If surprise is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of surprised facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19348-19354	If surprise is an attribute of an entity holds during a time position, then there exist another time position and another entity such that the other time position is a part of before the time position and the entity expects the other entity will be true holds during the other time position and the other entity is false holds during the time position

consequent

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

emotion.kif 1928-1936

If a process is an instance of surprised voice utterance and an agent is an agent of the process,
then there exists another process such that the other process is an instance of surprise and the agent experiences the other 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