Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - benefits
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 20764-20768
(domain benefits 1 Process) Mid-level-ontology.kif 20762-20762
(domain benefits 2 Agent) Mid-level-ontology.kif 20763-20763
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20761-20761
(instance benefits BinaryPredicate) Mid-level-ontology.kif 20760-20760

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 58-58
(termFormat ChineseLanguage benefits "得益") chinese_format.kif 64-64
(termFormat EnglishLanguage benefits "benefits") domainEnglishFormat.kif 2213-2213

antecedent
-------------------------


(=>
    (and
        (equal ?PROCESS-START
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENT-END
            (EndFn
                (WhenFn ?AGENT)))
        (benefits ?PROCESS ?AGENT))
    (before ?PROCESS-START ?AGENT-END))
Mid-level-ontology.kif 20772-20777
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 27679-27682
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 27695-27697

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 504-511
(=>
    (rewards ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (benefits ?P ?H))))
Law.kif 109-114
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 27674-27677


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners