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 29633-29634 | |
(domain suffers 1 Process) | Mid-level-ontology.kif 29631-29631 | |
(domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 29632-29632 | |
(instance suffers BinaryRelation) | Mid-level-ontology.kif 29629-29629 | |
(instance suffers CaseRole) | Mid-level-ontology.kif 29628-29628 | |
(instance suffers PartialValuedRelation) | Mid-level-ontology.kif 29630-29630 |
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 65950-65950 |
antecedent |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 29646-29655 | |
(=> (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 3665-3678 | |
(=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 29636-29639 | |
(=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 29661-29664 |
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 3040-3054 | |
(=> (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 3022-3038 | |
(=> (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 29671-29683 | |
(=> (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 3665-3678 | |
(=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 29641-29644 | |
(=> (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 18338-18347 | |
(=> (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 | |
(=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3061-3068 | |
(=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H)))) |
Law.kif 140-145 | |
(=> (victim ?P ?V) (suffers ?P ?V)) |
Law.kif 266-268 |