|
|
   HighPrecisionWeapon
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HighPrecisionWeapon EnglishLanguage "A Weapon with high precision, designed to minimize collateral damage.") | MilitaryProcesses.kif 633-634 | |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | HighPrecisionWeapon は 武器 の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HighPrecisionWeapon "高精度武器") | domainEnglishFormat.kif 28131-28131 | |
| (termFormat ChineseTraditionalLanguage HighPrecisionWeapon "高精度武器") | domainEnglishFormat.kif 28130-28130 | |
| (termFormat EnglishLanguage HighPrecisionWeapon "high precision weapon") | domainEnglishFormat.kif 28129-28129 |
| antecedent |
|
|
| (=> (and (instance ?WEAPON HighPrecisionWeapon) (instrument ?DESTR ?WEAPON) (patient ?DESTR ?PATIENT)) (hasPurpose ?WEAPON (not (exists (?DAMAGING ?DAMAGED) (and (instance ?DAMAGING Damaging) (subProcess ?DAMAGING ?DESTR) (patient ?DAMAGING ?DAMAGED) (not (equal ?PATIENT ?DAMAGED))))))) |
MilitaryProcesses.kif 641-654 |
| consequent |
|
|
| (=> (and (instance ?DESTR PreciseDestruction) (agent ?DESTR ?AGENT)) (exists (?WEAPON) (and (possesses ?AGENT ?WEAPON) (instrument ?DESTR ?WEAPON) (instance ?WEAPON HighPrecisionWeapon)))) |
MilitaryProcesses.kif 601-609 |
|
|
|
|