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

Formal Language: 

KB Term:  Term intersection
English Word: 


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


        (equal ?PROCESS-START
                (WhenFn ?PROCESS)))
        (equal ?AGENT-END
                (WhenFn ?AGENT)))
        (suffers ?PROCESS ?AGENT))
Mid-level-ontology.kif 27764-27773
    (suffers ?A ?B)
        (benefits ?A ?B)))
Mid-level-ontology.kif 27754-27757
    (suffers ?A ?B)
        (wants ?B ?A)))
Mid-level-ontology.kif 27779-27782


        (instance ?A Apologizing)
        (agent ?A ?AG)
        (destination ?A ?P))
    (exists (?ACT)
            (suffers ?ACT ?P)
            (agent ?ACT ?AG)
                (WhenFn ?A)
                    (wants ?AG ?ACT))))))
Mid-level-ontology.kif 27791-27803
    (benefits ?A ?B)
        (suffers ?A ?B)))
Mid-level-ontology.kif 27759-27762
    (punishes ?A ?H)
    (exists (?P)
            (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