benefits |
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 24555-24559 | |
(domain benefits 1 Process) | Mid-level-ontology.kif 24553-24553 | The number 1 argument of benefits is an instance of process |
(domain benefits 2 AutonomousAgent) | Mid-level-ontology.kif 24554-24554 | The number 2 argument of benefits is an instance of agent |
(instance benefits AsymmetricRelation) | Mid-level-ontology.kif 24552-24552 | benefits is an instance of asymmetric relation |
(instance benefits BinaryPredicate) | Mid-level-ontology.kif 24551-24551 | benefits is an instance of binary predicate |
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 10740-10740 | |
(termFormat ChineseLanguage benefits "得益") | chinese_format.kif 64-64 | |
(termFormat ChineseTraditionalLanguage benefits "好處") | domainEnglishFormat.kif 10739-10739 | |
(termFormat EnglishLanguage benefits "benefits") | domainEnglishFormat.kif 10738-10738 |
antecedent |
![]() |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 24561-24566 |
|
(=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 31509-31512 |
|
(=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 31525-31527 |
|
consequent |
![]() |
![]() |
![]() |