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 20839-20843
(domain benefits 1 Process) Mid-level-ontology.kif 20837-20837
(domain benefits 2 Agent) Mid-level-ontology.kif 20838-20838
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 20836-20836
(instance benefits BinaryPredicate) Mid-level-ontology.kif 20835-20835

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 10751-10751
(termFormat ChineseLanguage benefits "得益") chinese_format.kif 64-64
(termFormat ChineseTraditionalLanguage benefits "好處") domainEnglishFormat.kif 10750-10750
(termFormat EnglishLanguage benefits "benefits") domainEnglishFormat.kif 10749-10749

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (benefits ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 20847-20852
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 27798-27801
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 27814-27816

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 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 16039-16048
(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (believes ?DOC
            (exists (?T ?H)
                (and
                    (instance ?M ?MC)
                    (instance ?T TherapeuticProcess)
                    (resource ?T ?M)
                    (benefits ?T ?H))))))
VirusProteinAndCellPart.kif 681-690
(=>
    (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 27793-27796


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 3.0 is open source software produced by Articulate Software and its partners