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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - suffers
suffers

appearance as argument number 1
-------------------------


(documentation suffers EnglishLanguage "The opposite of benefits. The Agent does not want the action to occur.") Mid-level-ontology.kif 29633-29634
(domain suffers 1 Process) Mid-level-ontology.kif 29631-29631 suffers, 1 and Process
(domain suffers 2 AutonomousAgent) Mid-level-ontology.kif 29632-29632 suffers, 2 and AutonomousAgent
(instance suffers BinaryRelation) Mid-level-ontology.kif 29629-29629 suffers and BinaryRelation
(instance suffers CaseRole) Mid-level-ontology.kif 29628-29628 suffers and CaseRole
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 29630-29630 suffers and PartialValuedRelation

appearance as argument number 2
-------------------------


(format ChineseLanguage suffers "%2 suffers 从 %1 ") domainEnglishFormat.kif 4718-4718
(format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") domainEnglishFormat.kif 4717-4717
(format EnglishLanguage suffers "%2 suffers from %1") domainEnglishFormat.kif 4716-4716
(termFormat EnglishLanguage suffers "suffers") domainEnglishFormat.kif 65950-65950

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29646-29655
(=>
    (and
        (instance ?G Gaslighting)
        (agent ?G ?A)
        (suffers ?G ?H))
    (exists (?P)
        (and
            (instance ?P Perception)
            (experiencer ?P ?H)
            (causesProposition
                (suffers ?G ?H)
                (not
                    (knows ?H
                        (result ?P ?R)))))))
Medicine.kif 3665-3678
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 29636-29639
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 29661-29664

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


(=>
    (and
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?S ?PROC)
                (suffers ?PROC ?CO))) Possibility))
Medicine.kif 3040-3054
(=>
    (and
        (employs ?ORG ?P)
        (employs ?ORG ?CO)
        (instance ?D DoNetworkMessaging)
        (result ?D ?MSG)
        (attribute ?MSG NSFW)
        (agent ?D ?P)
        (instance ?S Seeing)
        (patient ?S ?MSG)
        (agent ?S ?CO))
    (modalAttribute
        (exists (?PROC)
            (and
                (causes ?D ?PROC)
                (suffers ?PROC ?P))) Likely))
Medicine.kif 3022-3038
(=>
    (and
        (instance ?A Apologizing)
        (agent ?A ?AG)
        (destination ?A ?P))
    (exists (?ACT)
        (and
            (suffers ?ACT ?P)
            (agent ?ACT ?AG)
            (holdsDuring
                (WhenFn ?A)
                (not
                    (wants ?AG ?ACT))))))
Mid-level-ontology.kif 29671-29683
(=>
    (and
        (instance ?G Gaslighting)
        (agent ?G ?A)
        (suffers ?G ?H))
    (exists (?P)
        (and
            (instance ?P Perception)
            (experiencer ?P ?H)
            (causesProposition
                (suffers ?G ?H)
                (not
                    (knows ?H
                        (result ?P ?R)))))))
Medicine.kif 3665-3678
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 29641-29644
(=>
    (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 18338-18347
(=>
    (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 5888-5898
(=>
    (member ?X AntiVaxxer)
    (believes ?X
        (=>
            (and
                (instance ?V Vaccination)
                (experiencer ?V ?H))
            (suffers ?V ?H))))
Medicine.kif 3061-3068
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (suffers ?P ?H))))
Law.kif 140-145
(=>
    (victim ?P ?V)
    (suffers ?P ?V))
Law.kif 266-268


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