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 22914-22918
(domain benefits 1 Process) Mid-level-ontology.kif 22912-22912 Le nombre 1 argument de benefits est une instance de processus
(domain benefits 2 AutonomousAgent) Mid-level-ontology.kif 22913-22913 Le nombre 2 argument de benefits est une instance de AutonomousAgent
(instance benefits AsymmetricRelation) Mid-level-ontology.kif 22911-22911 benefits est une instance de relation asym�trique
(instance benefits BinaryPredicate) Mid-level-ontology.kif 22910-22910 benefits est une instance de pr�dicat binaire

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

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (benefits ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 22920-22925
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 29590-29593
(=>
    (benefits ?A ?B)
    (wants ?B ?A))
Mid-level-ontology.kif 29606-29608

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 464-471
(=>
    (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 18311-18320
(=>
    (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 5894-5904
(=>
    (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 9652-9665
(=>
    (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 29585-29588


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