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 29582-29583
(domain suffers 1 Process) Mid-level-ontology.kif 29580-29580 Le nombre 1 argument de suffers est une instance de processus
(domain suffers 2 AutonomousAgent) Mid-level-ontology.kif 29581-29581 Le nombre 2 argument de suffers est une instance de AutonomousAgent
(instance suffers BinaryRelation) Mid-level-ontology.kif 29578-29578 suffers est une instance de relation binaire
(instance suffers CaseRole) Mid-level-ontology.kif 29577-29577 suffers est une instance de r�le d�pendant du cas
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 29579-29579 suffers est une instance de relation partielle

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 65948-65948

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29595-29604
(=>
    (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 29585-29588
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 29610-29613

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 29620-29632
(=>
    (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 29590-29593
(=>
    (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
(=>
    (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