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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Threatening

Sigma KEE - Threatening
Threateningهدّد, توعّد, عرّض للخطر, هدّد, توعد, عرض للخطر, عرض نفسه للخطر, غامر, هدد, وقع في الخطر,

appearance as argument number 1
-------------------------


(documentation Threatening EnglishLanguage "Any Committing where the thing promised is something that is deemed undesirable by the destination of the Committing.") Mid-level-ontology.kif 1242-1244
(subclass Threatening Committing) Mid-level-ontology.kif 1241-1241

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


(termFormat EnglishLanguage Threatening "threatening") domainEnglishFormat.kif 10073-10073

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


(=>
    (and
        (instance ?THREATEN Threatening)
        (agent ?THREATEN ?AGENT)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (not
        (desires ?DEST ?PROP)))
Mid-level-ontology.kif 1246-1252
(=>
    (and
        (instance ?THREATEN Threatening)
        (patient ?THREATEN ?PROP)
        (destination ?THREATEN ?DEST))
    (believes ?DEST
        (attribute ?PROP Dangerous)))
MilitaryPersons.kif 212-218

consequent
-------------------------


(=>
    (and
        (instance ?R Robbing)
        (agent ?R ?P)
        (patient ?R ?P2))
    (exists (?T)
        (and
            (instance ?T Threatening)
            (subProcess ?T ?R)
            (patient ?T
                (exists (?A)
                    (and
                        (instance ?A Attack)
                        (agent ?A ?P)
                        (patient ?A ?P2)))))))
Mid-level-ontology.kif 16160-16174


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