| 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 23197-23201 | |
| (domain benefits 1 Process) | Mid-level-ontology.kif 23195-23195 | |
| (domain benefits 2 AutonomousAgent) | Mid-level-ontology.kif 23196-23196 | |
| (instance benefits AsymmetricRelation) | Mid-level-ontology.kif 23194-23194 | |
| (instance benefits BinaryPredicate) | Mid-level-ontology.kif 23193-23193 |
| 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 | |
| (format JapaneseLanguage benefits "%2 は %1 の 受益者では %n") | japanese_format.kif 1880-1880 | |
| (termFormat ChineseLanguage benefits "好处") | domainEnglishFormat.kif 10742-10742 | |
| (termFormat ChineseLanguage benefits "得益") | chinese_format.kif 64-64 | |
| (termFormat ChineseTraditionalLanguage benefits "好處") | domainEnglishFormat.kif 10741-10741 | |
| (termFormat EnglishLanguage benefits "benefits") | domainEnglishFormat.kif 10740-10740 |
| antecedent |
|
|
| (=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 23203-23208 | |
| (=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 29874-29877 | |
| (=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 29890-29892 |
| consequent |
|
|
| (=> (businessUnit ?BU ?ORG) (hasPurpose ?BU (exists (?PROCESS) (and (instance ?PROCESS Process) (agent ?PROCESS ?BU) (benefits ?PROCESS ?ORG))))) |
UXExperimentalTerms.kif 2563-2570 | |
| (=> (counselInCase ?H ?A ?L) (desires ?H (exists (?LD) (and (instance ?LD LegalDecision) (causes ?L ?LD) (benefits ?LD ?A))))) |
Law.kif 464-471 | |
| (=> (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 18569-18578 | |
| (=> (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 5888-5898 | |
| (=> (medicine ?MC ?D) (exists (?DOC) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H))))))) |
Mid-level-ontology.kif 9870-9883 | |
| (=> (rewards ?A ?H) (exists (?P) (and (agent ?P ?A) (benefits ?P ?H)))) |
Law.kif 97-102 | |
| (=> (suffers ?A ?B) (not (benefits ?A ?B))) |
Mid-level-ontology.kif 29869-29872 |
|
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