| 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 27757-27758 | |
| (domain suffers 1 Process) | Mid-level-ontology.kif 27755-27755 | suffers 的 1 数量 是 过程 的 instance |
| (domain suffers 2 Agent) | Mid-level-ontology.kif 27756-27756 | suffers 的 2 数量 是 施事体 的 instance |
| (instance suffers BinaryRelation) | Mid-level-ontology.kif 27753-27753 | suffers 是 二元关系 的 instance |
| (instance suffers CaseRole) | Mid-level-ontology.kif 27752-27752 | suffers 是 格角色 的 instance |
| (instance suffers PartialValuedRelation) | Mid-level-ontology.kif 27754-27754 | suffers 是 部分值关系 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage suffers "%2 suffers 从 %1 ") | domainEnglishFormat.kif 4723-4723 | |
| (format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") | domainEnglishFormat.kif 4722-4722 | |
| (format EnglishLanguage suffers "%2 suffers from %1") | domainEnglishFormat.kif 4721-4721 |
| antecedent |
|
|
| (=> (and (equal ?PROCESS-START (BeginFn (WhenFn ?PROCESS))) (equal ?AGENT-END (EndFn (WhenFn ?AGENT))) (suffers ?PROCESS ?AGENT)) (before ?PROCESS-START ?AGENT-END)) |
Mid-level-ontology.kif 27770-27779 | |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 27760-27763 | |
| (=> (suffers ?A ?B) (not (wants ?B ?A))) |
Mid-level-ontology.kif 27785-27788 |
| consequent |
|
|
| (=> (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 27797-27809 | |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 27765-27768 | |
| (=> (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 16012-16021 | |
| (=> (punishes ?A ?H) (exists (?P) (and (agent ?P ?A) (suffers ?P ?H)))) |
Law.kif 153-158 | |
| (=> (victim ?P ?V) (suffers ?P ?V)) |
Law.kif 309-311 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners