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 22966-22970 | |
(domain benefits 1 Process) | Mid-level-ontology.kif 22964-22964 | The number 1 argument of benefits is an instance of process |
(domain benefits 2 AutonomousAgent) | Mid-level-ontology.kif 22965-22965 | The number 2 argument of benefits is an instance of agent |
(instance benefits AsymmetricRelation) | Mid-level-ontology.kif 22963-22963 | benefits is an instance of asymmetric relation |
(instance benefits BinaryPredicate) | Mid-level-ontology.kif 22962-22962 | 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 10733-10733 | |
(termFormat ChineseLanguage benefits "得益") | chinese_format.kif 64-64 | |
(termFormat ChineseTraditionalLanguage benefits "好處") | domainEnglishFormat.kif 10732-10732 | |
(termFormat EnglishLanguage benefits "benefits") | domainEnglishFormat.kif 10731-10731 |
antecedent |
(=> (and (equal ?PROCESSSTART (BeginFn (WhenFn ?PROCESS))) (equal ?AGENTEND (EndFn (WhenFn ?AGENT))) (benefits ?PROCESS ?AGENT)) (before ?PROCESSSTART ?AGENTEND)) |
Mid-level-ontology.kif 22972-22977 |
|
(=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 29641-29644 |
|
(=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 29657-29659 |
|
consequent |