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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FeelingBad

Sigma KEE - FeelingBad
FeelingBad

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 1829-1830
No TPTP formula. May not be expressible in strict first order. emotion.kif 1833-1833 FeelingBad e' uma instancia de SubjectiveEmotionalFeeling

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. emotion.kif 1835-1835 FeelingGood e' &o oposto de FeelingBad
No TPTP formula. May not be expressible in strict first order. emotion.kif 1831-1831
No TPTP formula. May not be expressible in strict first order. emotion.kif 1834-1834
No TPTP formula. May not be expressible in strict first order. emotion.kif 1832-1832 utterance EnglishLanguage, FeelingBad and "bad"


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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