DeliveringWeaponOfMassDestruction
|
|
appearance as argument number 1 |
(documentation DeliveringWeaponOfMassDestruction EnglishLanguage "Integrating a WeaponOfMassDestruction with a conventional weapon, so that the former can be delivered to its target.") | WMD.kif 704-705 | |
(subclass DeliveringWeaponOfMassDestruction Making) | WMD.kif 703-703 | DeliveringWeaponOfMassDestruction は 作る の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage DeliveringWeaponOfMassDestruction "提供大规模杀伤性武器") | domainEnglishFormat.kif 18972-18972 | |
(termFormat ChineseTraditionalLanguage DeliveringWeaponOfMassDestruction "提供大規模殺傷性武器") | domainEnglishFormat.kif 18971-18971 | |
(termFormat EnglishLanguage DeliveringWeaponOfMassDestruction "delivering weapon of mass destruction") | domainEnglishFormat.kif 18970-18970 |
antecedent |
(=> (instance ?DELIVER DeliveringWeaponOfMassDestruction) (exists (?PUTTING ?WEAPON1 ?WEAPON2) (and (instance ?PUTTING Putting) (subProcess ?PUTTING ?DELIVER) (instance ?WEAPON1 WeaponOfMassDestruction) (instance ?WEAPON2 Weapon) (not (instance ?WEAPON2 WeaponOfMassDestruction)) (patient ?PUTTING ?WEAPON1) (destination ?PUTTING ?WEAPON2)))) |
WMD.kif 707-718 |
|