| 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 31503-31504 | |
| (domain suffers 1 Process) | Mid-level-ontology.kif 31501-31501 | suffers 的 1 数量 是 过程 的 instance |
| (domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 31502-31502 | suffers 的 2 数量 是 施事体 的 instance |
| (instance suffers BinaryRelation) | Mid-level-ontology.kif 31499-31499 | suffers 是 二元关系 的 instance |
| (instance suffers CaseRole) | Mid-level-ontology.kif 31498-31498 | suffers 是 格角色 的 instance |
| (instance suffers PartialValuedRelation) | Mid-level-ontology.kif 31500-31500 | suffers 是 部分值关系 的 instance |
| 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 65975-65975 |
| antecedent |
|
|
| (=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 31516-31525 | |
| (=> (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 3668-3681 | |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 31506-31509 | |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 31531-31534 |
| 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 3041-3055 | |
| (=> (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 3023-3039 |
|
| (=> (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 31541-31553 | |
| (=> (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 3668-3681 | |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 31511-31514 | |
| (=> (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 19882-19891 | |
| (=> (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 6831-6841 | |
| (=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3062-3069 | |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H)))) |
Law.kif 140-145 | |
| (=> (victim ?P ?V) (suffers ?P ?V)) |
Law.kif 269-271 |
|
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