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 22913-22917 | |
(domain benefits 1 Process) | Mid-level-ontology.kif 22911-22911 | |
(domain benefits 2 AutonomousAgent) | Mid-level-ontology.kif 22912-22912 | |
(instance benefits AsymmetricRelation) | Mid-level-ontology.kif 22910-22910 | |
(instance benefits BinaryPredicate) | Mid-level-ontology.kif 22909-22909 |
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 22919-22924 | |
(=> (benefits ?A ?B) (not (suffers ?A ?B))) |
Mid-level-ontology.kif 29578-29581 | |
(=> (benefits ?A ?B) (wants ?B ?A)) |
Mid-level-ontology.kif 29594-29596 |
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 18310-18319 | |
(=> (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 5893-5903 | |
(=> (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 9651-9664 | |
(=> (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 29573-29576 |