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 29898-29899
(domain suffers 1 Process)	Mid-level-ontology.kif 29896-29896	The number 1 argument of suffers is an instance of process
(domain suffers 2 AutonomousAgent)	Mid-level-ontology.kif 29897-29897	The number 2 argument of suffers is an instance of agent
(instance suffers BinaryRelation)	Mid-level-ontology.kif 29894-29894	suffers is an instance of binary relation
(instance suffers CaseRole)	Mid-level-ontology.kif 29893-29893	suffers is an instance of case role
(instance suffers PartialValuedRelation)	Mid-level-ontology.kif 29895-29895	suffers is an instance of partial valued relation

appearance as argument number 2

(format ChineseLanguage suffers "%2 suffers 从 %1 ")	domainEnglishFormat.kif 4718-4718
(format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ")	domainEnglishFormat.kif 4717-4717
(format EnglishLanguage suffers "%2 suffers from %1")	domainEnglishFormat.kif 4716-4716
(termFormat EnglishLanguage suffers "suffers")	domainEnglishFormat.kif 66008-66008

antecedent

(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND))	Mid-level-ontology.kif 29911-29920	If a time point is equal to the beginning of the time of existence of a process and another time point is equal to the end of the time of existence of an agent and the agent suffers from the process, then the time point happens before the other time point
(=> (and (instance ?G Gaslighting) (agent ?G ?A) (suffers ?G ?H)) (exists (?P) (and (instance ?P Perception) (experiencer ?P ?H) (causesProposition (suffers ?G ?H) (not (knows ?H (result ?P ?R)))))))	Medicine.kif 3653-3666	If a process is an instance of gaslighting and an agent is an agent of the process and another agent suffers from the process, then there exists another process such that the other process is an instance of perception and the other agent experiences the other process and the other agent doesn't know an entity is a result of the other process is a causes proposition of the other agent suffers from the process
(=> (suffers ?A ?B) (not (benefits ?A ?B)))	Mid-level-ontology.kif 29901-29904	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 29926-29929	If a cognitive agent suffers from a process, then the cognitive agent doesn't want the process

consequent

(=> (and (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?S ?PROC) (suffers ?PROC ?CO))) Possibility))	Medicine.kif 3028-3042	If an agent employs a cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and another process is an instance of seeing and the object is a patient of the other process and the cognitive agent is an agent of the other process, then the statement there exists an entity such that the other process causes the entity and the cognitive agent suffers from the entity has the modal force of possibility
(=> (and (employs ?ORG ?P) (employs ?ORG ?CO) (instance ?D DoNetworkMessaging) (result ?D ?MSG) (attribute ?MSG NSFW) (agent ?D ?P) (instance ?S Seeing) (patient ?S ?MSG) (agent ?S ?CO)) (modalAttribute (exists (?PROC) (and (causes ?D ?PROC) (suffers ?PROC ?P))) Likely))	Medicine.kif 3010-3026	If an agent employs a cognitive agent and the agent employs another cognitive agent and a process is an instance of do network messaging and an object is a result of the process and not safe for work is an attribute of the object and the cognitive agent is an agent of the process and another process is an instance of seeing and the object is a patient of the other process and the other cognitive agent is an agent of the other process, then the statement there exists the cognitive agentROC such that the process causes the cognitive agentROC and the cognitive agent suffers from the cognitive agentROC has the modal force of likely
(=> (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 29936-29948	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
(=> (and (instance ?G Gaslighting) (agent ?G ?A) (suffers ?G ?H)) (exists (?P) (and (instance ?P Perception) (experiencer ?P ?H) (causesProposition (suffers ?G ?H) (not (knows ?H (result ?P ?R)))))))	Medicine.kif 3653-3666	If a process is an instance of gaslighting and an agent is an agent of the process and another agent suffers from the process, then there exists another process such that the other process is an instance of perception and the other agent experiences the other process and the other agent doesn't know an entity is a result of the other process is a causes proposition of the other agent suffers from the process
(=> (benefits ?A ?B) (not (suffers ?A ?B)))	Mid-level-ontology.kif 29906-29909	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 18601-18610	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
(=> (instance ?P Parasite) (modalAttribute (exists (?H ?PROC) (and (located ?P ?H) (involvedInEvent ?PROC ?P) (involvedInEvent ?PROC ?H) (benefits ?PROC ?P) (suffers ?PROC ?H))) Likely))	Mid-level-ontology.kif 5888-5898	If an entity is an instance of parasite, then the statement there exist another entity and the entityROC such that the entity is located at the other entity and the entity is an involved in event of the entityROC and the other entity is an involved in event of the entityROC and the entity is a beneficiary of the entityROC and the other entity suffers from the entityROC has the modal force of likely
(=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H))))	Medicine.kif 3049-3056	If a cognitive agent is a member of anti_vaxxer, then the cognitive agent believes if an entity is an instance of vaccination and another entity experiences the entity, then the other entity suffers from the entity
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H))))	Law.kif 140-145	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 266-268	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 3.0 is open source software produced by Articulate Software and its partners