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 18599-18613 |