suffers - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - suffers

suffers

appearance as argument number 1

(documentation suffers EnglishLanguage "The opposite of benefits. The Agent does not want the action to occur.")	Mid-level-ontology.kif 27757-27758
(domain suffers 1 Process)	Mid-level-ontology.kif 27755-27755	The number 1 argument of suffers is an instance of process
(domain suffers 2 Agent)	Mid-level-ontology.kif 27756-27756	The number 2 argument of suffers is an instance of agent
(instance suffers BinaryRelation)	Mid-level-ontology.kif 27753-27753	suffers is an instance of binary relation
(instance suffers CaseRole)	Mid-level-ontology.kif 27752-27752	suffers is an instance of case role
(instance suffers PartialValuedRelation)	Mid-level-ontology.kif 27754-27754	suffers is an instance of partial valued relation

appearance as argument number 2

(format ChineseLanguage suffers "%2 suffers 从 %1 ")	domainEnglishFormat.kif 4723-4723
(format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ")	domainEnglishFormat.kif 4722-4722
(format EnglishLanguage suffers "%2 suffers from %1")	domainEnglishFormat.kif 4721-4721

antecedent

(=> (and (equal ?PROCESS-START (BeginFn (WhenFn ?PROCESS))) (equal ?AGENT-END (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESS-START ?AGENT-END))	Mid-level-ontology.kif 27770-27779	If a process-START is equal to the beginning of the time of existence of the process and an agent-END is equal to the end of the time of existence of the agent and the agent suffers from the process, then the process-START happens before the agent-END
(=> (suffers ?A ?B) (not (benefits ?A ?B)))	Mid-level-ontology.kif 27760-27763	If an agent suffers from a process, then the agent is not a beneficiary of the process
(=> (suffers ?A ?B) (not (wants ?B ?A)))	Mid-level-ontology.kif 27785-27788	If a cognitive agent suffers from a process, then the cognitive agent doesn't want the process

consequent

(=> (and (instance ?A Apologizing) (agent ?A ?AG) (destination ?A ?P)) (exists (?ACT) (and (suffers ?ACT ?P) (agent ?ACT ?AG) (holdsDuring (WhenFn ?A) (not (wants ?AG ?ACT))))))	Mid-level-ontology.kif 27797-27809	If a process is an instance of Apologizing and the processG is an agent of the process and the process ends up at another agent, then there exists the processCT such that the other agent suffers from the processCT and the processG is an agent of the processCT and the processG doesn't want the processCT holds during the time of existence of the process
(=> (benefits ?A ?B) (not (suffers ?A ?B)))	Mid-level-ontology.kif 27765-27768	If an agent is a beneficiary of a process, then not the agent suffers from the process
(=> (instance ?D Defrauding) (exists (?A ?P ?O) (and (agent ?D ?A) (suffers ?D ?P) (benefits ?D ?A) (objectTransferred ?D ?O) (origin ?O ?P) (destination ?O ?A))))	Mid-level-ontology.kif 16012-16021	If a transfer is an instance of defrauding, then there exist an agent, another agent and an object such that the agent is an agent of the transfer and the other agent suffers from the transfer and the agent is a beneficiary of the transfer and the object transferred in the transfer is the object and the object originates at the other agent and the object ends up at the agent
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H))))	Law.kif 153-158	If an agent punishes another agent, then there exists a process such that the agent is an agent of the process and the other agent suffers from the process
(=> (victim ?P ?V) (suffers ?P ?V))	Law.kif 309-311	If an agent is the victim in a criminal action, then the agent suffers from the criminal action

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners