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 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4907-4907
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4906-4906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4905-4905

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


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