| 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 31247-31248 | |
| (domain suffers 1 Process) | Mid-level-ontology.kif 31245-31245 | |
| (domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 31246-31246 | |
| (instance suffers BinaryRelation) | Mid-level-ontology.kif 31243-31243 | |
| (instance suffers CaseRole) | Mid-level-ontology.kif 31242-31242 | |
| (instance suffers PartialValuedRelation) | Mid-level-ontology.kif 31244-31244 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage suffers "%2 suffers 从 %1 ") | domainEnglishFormat.kif 4722-4722 | |
| (format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") | domainEnglishFormat.kif 4721-4721 | |
| (format EnglishLanguage suffers "%2 suffers from %1") | domainEnglishFormat.kif 4720-4720 | |
| (termFormat EnglishLanguage suffers "suffers") | domainEnglishFormat.kif 66006-66006 |
| antecedent |
|
|
| (=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 31260-31269 | |
| (=> (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 3650-3663 | |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 31250-31253 | |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 31275-31278 |
| 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 3025-3039 | |
| (=> (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 3007-3023 | |
| (=> (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 31285-31297 | |
| (=> (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 3650-3663 | |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 31255-31258 | |
| (=> (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 19889-19898 | |
| (=> (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 6857-6867 | |
| (=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3046-3053 | |
| (=> (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 |
|
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