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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Threatening
Threatening(threatening)endanger, imperil, jeopardise, jeopardize, menace, peril, threat, threaten

VerbNet: amuse-31.1|threaten, amuse-31.1|threaten, amuse-31.1|threaten, amuse-31.1|threaten, amuse-31.1|threaten, amuse-31.1|threaten, amuse-31.1|threaten,


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 1238-1240
(subclass Threatening Committing) Mid-level-ontology.kif 1237-1237 Threatening is a subclass of committing

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


(termFormat ChineseLanguage Threatening "危险的") domainEnglishFormat.kif 57777-57777
(termFormat ChineseTraditionalLanguage Threatening "危險的") domainEnglishFormat.kif 57776-57776
(termFormat EnglishLanguage Threatening "threatening") domainEnglishFormat.kif 57775-57775

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


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

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


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