| 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 30697-30698 | |
| (domain suffers 1 Process) | Mid-level-ontology.kif 30695-30695 | |
| (domain suffers 2 AutonomousAgent) | Mid-level-ontology.kif 30696-30696 | |
| (instance suffers BinaryRelation) | Mid-level-ontology.kif 30693-30693 | |
| (instance suffers CaseRole) | Mid-level-ontology.kif 30692-30692 | |
| (instance suffers PartialValuedRelation) | Mid-level-ontology.kif 30694-30694 |
| 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 30710-30719 | |
| (=> (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 | |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 30700-30703 | |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 30725-30728 |
| 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 | |
| (=> (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 | |
| (=> (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 30735-30747 | |
| (=> (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 | |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 30705-30708 | |
| (=> (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 19400-19409 | |
| (=> (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 6443-6453 | |
| (=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H)))) |
Medicine.kif 3049-3056 | |
| (=> (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