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

Formal Language: 



KB Term:  Term intersection
English Word: 

  suffers

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 27809-27810
(domain suffers 1 Process) Mid-level-ontology.kif 27807-27807 The number 1 argument of suffers is an instance of process
(domain suffers 2 Agent) Mid-level-ontology.kif 27808-27808 The number 2 argument of suffers is an instance of agent
(instance suffers BinaryRelation) Mid-level-ontology.kif 27805-27805 suffers is an instance of binary relation
(instance suffers CaseRole) Mid-level-ontology.kif 27804-27804 suffers is an instance of case role
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 27806-27806 suffers is an instance of partial valued relation

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


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

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


(=>
    (and
        (equal ?PROCESS-START
            (BeginFn
                (WhenFn ?PROCESS)))
        (equal ?AGENT-END
            (EndFn
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
    (before ?PROCESS-START ?AGENT-END))
Mid-level-ontology.kif 27822-27831
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 27812-27815
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 27837-27840

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 27849-27861
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 27817-27820
(=>
    (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 16064-16073
(=>
    (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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners