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 27751-27752
(domain suffers 1 Process) Mid-level-ontology.kif 27749-27749 The number 1 argument of suffers is an instance of process
(domain suffers 2 Agent) Mid-level-ontology.kif 27750-27750 The number 2 argument of suffers is an instance of agent
(instance suffers BinaryRelation) Mid-level-ontology.kif 27747-27747 suffers is an instance of binary relation
(instance suffers CaseRole) Mid-level-ontology.kif 27746-27746 suffers is an instance of case role
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 27748-27748 suffers is an instance of partial valued relation

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


(format EnglishLanguage suffers "%2 suffers from %1") domainEnglishFormat.kif 1190-1190

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 27764-27773
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 27754-27757
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 27779-27782

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 27791-27803
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 27759-27762
(=>
    (punishes ?A ?H)
    (exists (?P)
        (and
            (agent ?P ?A)
            (suffers ?P ?H))))
Law.kif 152-157
(=>
    (victim ?P ?V)
    (suffers ?P ?V))
Law.kif 305-307


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners