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 20795-20799
(domain benefits 1 Process) Mid-level-ontology.kif 20793-20793
(domain benefits 2 Agent) Mid-level-ontology.kif 20794-20794
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20792-20792
(instance benefits BinaryPredicate) Mid-level-ontology.kif 20791-20791

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 20803-20808
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 27759-27762
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 27775-27777

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 27754-27757


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