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 29582-29583 | |
(domain suffers 1 Process) | Mid-level-ontology.kif 29580-29580 | suffers 的 1 数量 是 过程 的 instance |
(domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 29581-29581 | suffers 的 2 数量 是 施事体 的 instance |
(instance suffers BinaryRelation) | Mid-level-ontology.kif 29578-29578 | suffers 是 二元关系 的 instance |
(instance suffers CaseRole) | Mid-level-ontology.kif 29577-29577 | suffers 是 格角色 的 instance |
(instance suffers PartialValuedRelation) | Mid-level-ontology.kif 29579-29579 | suffers 是 部分值关系 的 instance |
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 65948-65948 |
antecedent |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 29595-29604 | |
(=> (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 29585-29588 | |
(=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 29610-29613 |
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 29620-29632 | |
(=> (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 29590-29593 | |
(=> (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 18311-18320 | |
(=> (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 5894-5904 | |
(=> (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 |