| appearance as argument number 1 |
|
| (documentation benefits EnglishLanguage "(benefits ?PROCESS ?AGENT) means that ?AGENT somehow derives benefit as a result of ?PROCESS. This is a very general relation, and does not entail that ?AGENT is a participant in ?PROCESS.") | Mid-level-ontology.kif 20839-20843 | |
| (domain benefits 1 Process) | Mid-level-ontology.kif 20837-20837 | |
| (domain benefits 2 Agent) | Mid-level-ontology.kif 20838-20838 | |
| (instance benefits AsymmetricRelation) | Mid-level-ontology.kif 20836-20836 | |
| (instance benefits BinaryPredicate) | Mid-level-ontology.kif 20835-20835 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage benefits "%2 %n 是 %1 的 受益者") | chinese_format.kif 63-63 | |
| (format EnglishLanguage benefits "%2 is %n a beneficiary of %1") | english_format.kif 63-63 | |
| (termFormat ChineseLanguage benefits "好处") | domainEnglishFormat.kif 10751-10751 | |
| (termFormat ChineseLanguage benefits "得益") | chinese_format.kif 64-64 | |
| (termFormat ChineseTraditionalLanguage benefits "好處") | domainEnglishFormat.kif 10750-10750 | |
| (termFormat EnglishLanguage benefits "benefits") | domainEnglishFormat.kif 10749-10749 |
| antecedent |
|
|
| (=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 20847-20852 | |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 27798-27801 | |
| (=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 27814-27816 |
| consequent |
|
|
| (=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG))))) |
UXExperimentalTerms.kif 2770-2777 | |
| (=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 508-515 | |
| (=> (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 16039-16048 | |
| (=> (medicine ?MC ?D) (exists (?DOC) (believes ?DOC (exists (?T ?H) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (resource ?T ?M) (benefits ?T ?H)))))) |
VirusProteinAndCellPart.kif 681-690 | |
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?A) (benefits ?P ?H)))) |
Law.kif 110-115 | |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 27793-27796 |
|
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