|
|
  CuzcoPeru
|
|
|
| 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 849-851 | |
| (subclass Threatening Committing) | Mid-level-ontology.kif 848-848 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Threatening "危险的") | domainEnglishFormat.kif 57898-57898 | |
| (termFormat ChineseTraditionalLanguage Threatening "危險的") | domainEnglishFormat.kif 57897-57897 | |
| (termFormat EnglishLanguage Threatening "threatening") | domainEnglishFormat.kif 57896-57896 |
| 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 853-858 |
| 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 18627-18641 |
|
|
|