DeliveringWeaponOfMassDestruction - Sigma Knowledge base Browser

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	Delivering weapon of mass destruction is a subclass of making

appearance as argument number 2

(termFormat ChineseLanguage DeliveringWeaponOfMassDestruction "提供大规模杀伤性武器")	domainEnglishFormat.kif 18988-18988
(termFormat ChineseTraditionalLanguage DeliveringWeaponOfMassDestruction "提供大規模殺傷性武器")	domainEnglishFormat.kif 18987-18987
(termFormat EnglishLanguage DeliveringWeaponOfMassDestruction "delivering weapon of mass destruction")	domainEnglishFormat.kif 18986-18986

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