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 31501-31502
(domain suffers 1 Process) Mid-level-ontology.kif 31499-31499 The number 1 argument of suffers is an instance of process
(domain suffers 2 AutonomousAgent) Mid-level-ontology.kif 31500-31500 The number 2 argument of suffers is an instance of agent
(instance suffers BinaryRelation) Mid-level-ontology.kif 31497-31497 suffers is an instance of binary relation
(instance suffers CaseRole) Mid-level-ontology.kif 31496-31496 suffers is an instance of case role
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 31498-31498 suffers is an instance of partial valued relation

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


(format ChineseLanguage suffers "%2 suffers 从 %1 ") domainEnglishFormat.kif 4722-4722
(format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") domainEnglishFormat.kif 4721-4721
(format EnglishLanguage suffers "%2 suffers from %1") domainEnglishFormat.kif 4720-4720
(termFormat EnglishLanguage suffers "suffers") domainEnglishFormat.kif 65975-65975

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 31514-31523
(=>
    (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 3668-3681
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 31504-31507
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 31529-31532

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 3041-3055
(=>
    (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 3023-3039
(=>
    (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 31539-31551
(=>
    (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 3668-3681
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 31509-31512
(=>
    (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
(=>
    (member ?X AntiVaxxer)
    (believes ?X
        (=>
            (and
                (instance ?V Vaccination)
                (experiencer ?V ?H))
            (suffers ?V ?H))))
Medicine.kif 3062-3069
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (suffers ?P ?H))))
Law.kif 140-145
(=>
    (victim ?P ?V)
    (suffers ?P ?V))
Law.kif 269-271


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