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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 821-823
(subclass Threatening Committing) Mid-level-ontology.kif 820-820 危险的承诺subclass

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


(termFormat ChineseLanguage Threatening "危险的") domainEnglishFormat.kif 57863-57863
(termFormat ChineseTraditionalLanguage Threatening "危險的") domainEnglishFormat.kif 57862-57862
(termFormat EnglishLanguage Threatening "threatening") domainEnglishFormat.kif 57861-57861

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

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


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