AppraisalProcess - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - AppraisalProcess

AppraisalProcess(appraisal process)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	emotion.kif 49-52
No TPTP formula. May not be expressible in strict first order.	emotion.kif 48-48	Appraisal process is a subclass of intentional psychological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	emotion.kif 54-54	Appraisal is internally related to appraisal process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 53-53

antecedent

No TPTP formula. May not be expressible in strict first order.	emotion.kif 374-387	If appraisal as just treatment is an attribute of a cognitive agent and the cognitive agentJT is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentJT, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentJT includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent wants the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 349-363	If appraisal as unjust treatment is an attribute of a cognitive agent and the cognitive agentUJ is an instance of appraisal process and the cognitive agent is an agent of the cognitive agentUJ, then there exist another process and the cognitive agent2 such that the other process is an instance of process and the cognitive agentUJ includes a reference to the other process and the cognitive agent2 is an agent of the other process and the cognitive agent is not equal to the cognitive agent2 and the cognitive agent is a patient of the other process and the cognitive agent doesn't want the other process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 56-64	If a process is an instance of appraisal process and a cognitive agent is an agent of the process, then there exists the cognitive agentPP such that the cognitive agentPP is an instance of appraisal and the cognitive agent knows the cognitive agentPP is an attribute of the cognitive agent

consequent

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

emotion.kif 119-127

If a process is an instance of emotional behavioral process and an agent is an agent of the process,
then there exists the agentPP such that the agentPP is an instance of appraisal process and the agent is an agent of the agentPP and the agentPP causes the process

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