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 28994-28995
(domain suffers 1 Process) Mid-level-ontology.kif 28992-28992 The number 1 argument of suffers is an instance of process
(domain suffers 2 Agent) Mid-level-ontology.kif 28993-28993 The number 2 argument of suffers is an instance of agent
(instance suffers BinaryRelation) Mid-level-ontology.kif 28990-28990 suffers is an instance of binary relation
(instance suffers CaseRole) Mid-level-ontology.kif 28989-28989 suffers is an instance of case role
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 28991-28991 suffers is an instance of partial valued relation

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


(format ChineseLanguage suffers "%2 suffers 从 %1 ") domainEnglishFormat.kif 4727-4727
(format ChineseTraditionalLanguage suffers "%2 suffers 從 %1 ") domainEnglishFormat.kif 4726-4726
(format EnglishLanguage suffers "%2 suffers from %1") domainEnglishFormat.kif 4725-4725

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


(=>
    (and
        (equal ?PROCESSSTART
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENTEND
            (EndFn
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
    (before ?PROCESSSTART ?AGENTEND))
Mid-level-ontology.kif 29007-29016
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 28997-29000
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 29022-29025

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


(=>
    (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 29032-29044
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 29002-29005
(=>
    (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 17721-17730
(=>
    (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 5580-5590
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (suffers ?P ?H))))
Law.kif 153-158
(=>
    (victim ?P ?V)
    (suffers ?P ?V))
Law.kif 309-311


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