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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - utterance
utterance

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 189-190
No TPTP formula. May not be expressible in strict first order. emotion.kif 191-191 The number 1 argument of utterance is an instance of human language
No TPTP formula. May not be expressible in strict first order. emotion.kif 192-192 The number 2 argument of utterance is an instance of entity
No TPTP formula. May not be expressible in strict first order. emotion.kif 193-193 The number 3 argument of utterance is an instance of symbolic string
No TPTP formula. May not be expressible in strict first order. emotion.kif 188-188 utterance is an instance of ternary relation

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1145-1145 utterance english language, aesthetic pleasure and "aesthetic pleasure"
No TPTP formula. May not be expressible in strict first order. emotion.kif 1147-1147 utterance english language, amusement and "amused"
No TPTP formula. May not be expressible in strict first order. emotion.kif 977-977 utterance english language, anger and "angry"
No TPTP formula. May not be expressible in strict first order. emotion.kif 699-699 utterance english language, annoyance and "annoyed"
No TPTP formula. May not be expressible in strict first order. emotion.kif 1153-1153 utterance english language, anxiety and "anxious"
No TPTP formula. May not be expressible in strict first order. emotion.kif 288-289 utterance english language, appraisal as avoidable consequences and "there are consequences but they are avoidable"
No TPTP formula. May not be expressible in strict first order. emotion.kif 647-648 utterance english language, appraisal as being at the centre of attention and "I am at the centre of attention"
No TPTP formula. May not be expressible in strict first order. emotion.kif 600-601 utterance english language, appraisal as caused by an other and "this is being caused by someone else"
No TPTP formula. May not be expressible in strict first order. emotion.kif 625-626 utterance english language, appraisal as caused by chance and "this is being caused by chance"
No TPTP formula. May not be expressible in strict first order. emotion.kif 617-618 utterance english language, appraisal as caused by self and "this is being caused by me"
No TPTP formula. May not be expressible in strict first order. emotion.kif 608-609 utterance english language, appraisal as caused supernaturally and "this is being caused supernaturally"
No TPTP formula. May not be expressible in strict first order. emotion.kif 465-466 utterance english language, appraisal as congruent with ideals and "this is in line with my ideals"
No TPTP formula. May not be expressible in strict first order. emotion.kif 564-564 utterance english language, appraisal as dangerous and "this is dangerous"
No TPTP formula. May not be expressible in strict first order. emotion.kif 682-683 utterance english language, appraisal as deliberate and "this is being deliberately caused"
No TPTP formula. May not be expressible in strict first order. emotion.kif 405-406 utterance english language, appraisal as desirable consequences and "this has desirable consequences"
No TPTP formula. May not be expressible in strict first order. emotion.kif 533-533 utterance english language, appraisal as expected and "this is expected"
No TPTP formula. May not be expressible in strict first order. emotion.kif 320-320 utterance english language, appraisal as familiar and "this is familiar"
No TPTP formula. May not be expressible in strict first order. emotion.kif 366-367 utterance english language, appraisal as just treatment and "I am being treated justly"
No TPTP formula. May not be expressible in strict first order. emotion.kif 654-655 utterance english language, appraisal as not being at the centre of attention and "I am not at the centre of attention"
No TPTP formula. May not be expressible in strict first order. emotion.kif 479-480 utterance english language, appraisal as not congruent with ideals and "this is against my ideals"
No TPTP formula. May not be expressible in strict first order. emotion.kif 560-560 utterance english language, appraisal as not dangerous and "this is not dangerous"
No TPTP formula. May not be expressible in strict first order. emotion.kif 543-543 utterance english language, appraisal as not expected and "this is not expected"
No TPTP formula. May not be expressible in strict first order. emotion.kif 327-327 utterance english language, appraisal as not familiar and "this is not familiar"
No TPTP formula. May not be expressible in strict first order. emotion.kif 250-251 utterance english language, appraisal as not predictable and "this is not predictable"
No TPTP formula. May not be expressible in strict first order. emotion.kif 586-586 utterance english language, appraisal as not sudden and "this is not sudden"

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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