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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BelarusanLanguage

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 27310-27311
(domain suffers 1 Process) Mid-level-ontology.kif 27308-27308
(domain suffers 2 Agent) Mid-level-ontology.kif 27309-27309
(instance suffers BinaryRelation) Mid-level-ontology.kif 27306-27306
(instance suffers CaseRole) Mid-level-ontology.kif 27305-27305
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 27307-27307

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 27323-27332
(=>
    (suffers ?A ?B)
    (not
        (benefits ?A ?B)))
Mid-level-ontology.kif 27313-27316
(=>
    (suffers ?A ?B)
    (not
        (wants ?B ?A)))
Mid-level-ontology.kif 27338-27341

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 27350-27362
(=>
    (benefits ?A ?B)
    (not
        (suffers ?A ?B)))
Mid-level-ontology.kif 27318-27321
(=>
    (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 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