| KnifeAttack(knife attack) | | bayonet, knife, poniard, stab |
| appearance as argument number 1 |
|
|
| (documentation KnifeAttack EnglishLanguage "An attack in which a knife is used.") | Mid-level-ontology.kif 23638-23638 | |
| (subclass KnifeAttack ViolentContest) | Mid-level-ontology.kif 23637-23637 | Knife attack is a subclass of violent contest |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage KnifeAttack "刀攻击") | domainEnglishFormat.kif 32729-32729 | |
| (termFormat ChineseTraditionalLanguage KnifeAttack "刀攻擊") | domainEnglishFormat.kif 32728-32728 | |
| (termFormat EnglishLanguage KnifeAttack "knife attack") | domainEnglishFormat.kif 32727-32727 |
| antecedent |
|
|
| (=> (instance ?X KnifeAttack) (exists (?HG) (and (instance ?HG Knife) (instrument ?X ?HG)))) |
Mid-level-ontology.kif 23662-23667 |
|
|
|
|