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

Formal Language: 



KB Term:  Term intersection
English Word: 

  benefits

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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