| Threatening(threatening) | | endanger, imperil, jeopardise, jeopardize, menace, peril, threat, threaten |
| appearance as argument number 1 |
|
|
| (subclass Threatening Committing) | Mid-level-ontology.kif 851-851 | Threatening is a subclass of committing |
| (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 852-854 | Threatening is a subclass of committing |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?THREATEN Threatening) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (not (desires ?DEST ?PROP))) |
Mid-level-ontology.kif 856-861 | If X is an instance of threatening, Y is a patient of X, and X ends up at Z, then Z doesn't desire Y |
| (=> (and (instance ?THREATEN Threatening) (patient ?THREATEN ?PROP) (destination ?THREATEN ?DEST)) (believes ?DEST (attribute ?PROP Dangerous))) |
MilitaryPersons.kif 212-218 | If X is an instance of threatening, Y is a patient of X, and X ends up at Z, then Z believes dangerous is an attribute of Y |
| consequent |
|
|
| (=> (and (instance ?R Robbing) (agent ?R ?P) (victim ?R ?P2)) (exists (?T) (and (instance ?T Threatening) (subProcess ?T ?R) (fears ?P2 (exists (?A) (and (instance ?A Attack) (agent ?A ?P) (victim ?A ?P2))))))) |
Mid-level-ontology.kif 20531-20545 | If X is an instance of robbing, Y is an agent of X, and Z is the victim in X, then there exists W such that W is an instance of threatening, W is a subprocess of X, Z fears there exists V such that V is an instance of attack, Y is an agent of V, and Z is the victim in V |
|
|
|