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 856-858
(subclass Threatening Committing) Mid-level-ontology.kif 855-855

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


(termFormat ChineseLanguage Threatening "危险的") domainEnglishFormat.kif 57896-57896
(termFormat ChineseTraditionalLanguage Threatening "危險的") domainEnglishFormat.kif 57895-57895
(termFormat EnglishLanguage Threatening "threatening") domainEnglishFormat.kif 57894-57894

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

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


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 3.0 is open source software produced by Articulate Software and its partners