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 27751-27752
(domain suffers 1 Process) Mid-level-ontology.kif 27749-27749 suffers 的 1 数量 是 过程 的 instance
(domain suffers 2 Agent) Mid-level-ontology.kif 27750-27750 suffers 的 2 数量 是 施事体 的 instance
(instance suffers BinaryRelation) Mid-level-ontology.kif 27747-27747 suffers 是 二元关系 的 instance
(instance suffers CaseRole) Mid-level-ontology.kif 27746-27746 suffers 是 格角色 的 instance
(instance suffers PartialValuedRelation) Mid-level-ontology.kif 27748-27748 suffers 是 部分值关系 的 instance

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 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