AppraisalAsUnjustTreatment - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AppraisalAsUnjustTreatment

AppraisalAsUnjustTreatment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 343-345
No TPTP formula. May not be expressible in strict first order.	emotion.kif 342-342	AppraisalAsUnjustTreatment e' uma instancia de AppraisalOfJusticeOfTreatment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 337-338	exhaustiveAttribute AppraisalOfJusticeOfTreatment, AppraisalAsUnjustTreatment and AppraisalAsJustTreatment
No TPTP formula. May not be expressible in strict first order.	emotion.kif 340-341
No TPTP formula. May not be expressible in strict first order.	emotion.kif 346-347	utterance EnglishLanguage, AppraisalAsUnjustTreatment and "I am being treated unjustly"

antecedent

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

emotion.kif 349-363

AppraisalAsUnjustTreatment e' um atributo de Agente Cognitivo Agente CognitivoUJ e' uma instancia de AppraisalProcess Agente CognitivoUJ e' um agente de Agente Cognitivo
Processo Agente Cognitivo2 Processo e' uma instancia de Processo Agente CognitivoUJ inclui uma referencia a Processo Processo e' um agente de Agente Cognitivo2 Agente Cognitivo e' igual a Agente Cognitivo2 Agente Cognitivo e' um patient de Processo Agente Cognitivo nao quer %n Processo

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