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 actionTendency surprise and jaw dropping
No TPTP formula. May not be expressible in strict first order. emotion.kif 180-180 actionTendency surprise and opening eyes widely
No TPTP formula. May not be expressible in strict first order. emotion.kif 181-181 actionTendency surprise and raising eyebrows
No TPTP formula. May not be expressible in strict first order. emotion.kif 174-174 actionTendency surprise and surprised facial expression
No TPTP formula. May not be expressible in strict first order. emotion.kif 914-918
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15884-15885
No TPTP formula. May not be expressible in strict first order. emotion.kif 920-920 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 1256-1256 Surprised facial expression is internally related to surprise
No TPTP formula. May not be expressible in strict first order. emotion.kif 1835-1835 Surprised voice utterance is internally related to surprise
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56355-56355
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56354-56354
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56353-56353
No TPTP formula. May not be expressible in strict first order. emotion.kif 919-919
No TPTP formula. May not be expressible in strict first order. emotion.kif 912-912
No TPTP formula. May not be expressible in strict first order. emotion.kif 921-921 utterance english language, surprise and "surprised"

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1263-1272
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15887-15893

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1838-1846


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