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 20808-20812
(domain benefits 1 Process) Mid-level-ontology.kif 20806-20806 domain benefits, 1 and Process
(domain benefits 2 Agent) Mid-level-ontology.kif 20807-20807 domain benefits, 2 and Agent
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20805-20805 instance benefits and AsymmetricRelation
(instance benefits BinaryPredicate) Mid-level-ontology.kif 20804-20804 instance benefits and BinaryPredicate

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
(termFormat ChineseLanguage benefits "好处") domainEnglishFormat.kif 10681-10681
(termFormat ChineseLanguage benefits "得益") chinese_format.kif 64-64
(termFormat ChineseTraditionalLanguage benefits "好處") domainEnglishFormat.kif 10680-10680
(termFormat EnglishLanguage benefits "benefits") domainEnglishFormat.kif 10679-10679

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 20816-20821
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))		 Mid-level-ontology.kif 27765-27768
(=>
    (benefits ?A ?B)
    (wants ?B ?A))		 Mid-level-ontology.kif 27781-27783

consequent
-------------------------


(=>
    (businessUnit ?BU ?ORG)
    (hasPurpose ?BU
        (exists (?PROCESS)
            (and
                (instance ?PROCESS Process)
                (agent ?PROCESS ?BU)
                (benefits ?PROCESS ?ORG)))))		 UXExperimentalTerms.kif 2768-2775
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))		 Law.kif 508-515
(=>
    (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 16012-16021
(=>
    (rewards ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (benefits ?P ?H))))		 Law.kif 110-115
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))		 Mid-level-ontology.kif 27760-27763


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