DeliveringWeaponOfMassDestruction - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DeliveringWeaponOfMassDestruction Making)	WMD.kif 698-698	Delivering weapon of mass destruction is a subclass of making
(documentation DeliveringWeaponOfMassDestruction EnglishLanguage "Integrating a WeaponOfMassDestruction with a conventional weapon, so that the former can be delivered to its target.")	WMD.kif 699-700	Delivering weapon of mass destruction is a subclass of making

appearance as argument number 2

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

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))))

If X is an instance of delivering weapon of mass destruction, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Y is a subprocess of X (4) Z is an instance of weapon of mass destruction (5) W is an instance of weapon (6) W is not an instance of weapon of mass destruction (7) Z is a patient of Y (8) Y ends up at W