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 24555-24559
(domain benefits 1 Process) Mid-level-ontology.kif 24553-24553 benefits の数値 1 引数は 工程 の instance では
(domain benefits 2 AutonomousAgent) Mid-level-ontology.kif 24554-24554 benefits の数値 2 引数は AutonomousAgent の instance では
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 24552-24552 benefits は 非対称関係 の instance では
(instance benefits BinaryPredicate) Mid-level-ontology.kif 24551-24551 benefits は 2進述語 の instance では

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
(format JapaneseLanguage benefits "%2 は %1 の 受益者では %n") japanese_format.kif 1880-1880
(termFormat ChineseLanguage benefits "好处") domainEnglishFormat.kif 10740-10740
(termFormat ChineseLanguage benefits "得益") chinese_format.kif 64-64
(termFormat ChineseTraditionalLanguage benefits "好處") domainEnglishFormat.kif 10739-10739
(termFormat EnglishLanguage benefits "benefits") domainEnglishFormat.kif 10738-10738

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (benefits ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))		 Mid-level-ontology.kif 24561-24566
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))		 Mid-level-ontology.kif 31509-31512
(=>
    (benefits ?A ?B)
    (wants ?B ?A))		 Mid-level-ontology.kif 31525-31527

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


(=>
    (businessUnit ?BU ?ORG)
    (hasPurpose ?BU
        (exists (?PROCESS)
            (and
                (instance ?PROCESS Process)
                (agent ?PROCESS ?BU)
                (benefits ?PROCESS ?ORG)))))		 UXExperimentalTerms.kif 2563-2570
(=>
    (counselInCase ?H ?A ?L)
    (desires ?H
        (exists (?LD)
            (and
                (instance ?LD LegalDecision)
                (causes ?L ?LD)
                (benefits ?LD ?A)))))		 Law.kif 470-477
(=>
    (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 19882-19891
(=>
    (instance ?P Parasite)
    (modalAttribute
        (exists (?H ?PROC)
            (and
                (located ?P ?H)
                (involvedInEvent ?PROC ?P)
                (involvedInEvent ?PROC ?H)
                (benefits ?PROC ?P)
                (suffers ?PROC ?H))) Likely))		 Mid-level-ontology.kif 6831-6841
(=>
    (medicine ?MC ?D)
    (exists (?DOC)
        (and
            (instance ?DOC MedicalDoctor)
            (believes ?DOC
                (exists (?T ?H ?M)
                    (and
                        (instance ?M ?MC)
                        (instance ?T TherapeuticProcess)
                        (instance ?H Human)
                        (patientMedical ?H ?DOC)
                        (resource ?T ?M)
                        (benefits ?T ?H)))))))		 Mid-level-ontology.kif 10981-10994
(=>
    (rewards ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (benefits ?P ?H))))		 Law.kif 97-102
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))		 Mid-level-ontology.kif 31504-31507


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