ProliferationWMD |
appearance as argument number 1 |
(documentation ProliferationWMD EnglishLanguage "A rapid increase the number of WMD, especially the number possessed by different countries or groups.") | MilitaryProcesses.kif 1448-1449 | |
(externalImage ProliferationWMD "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Nuclear_weapon_programs_worldwide.png") | pictureList.kif 11677-11677 | |
(externalImage ProliferationWMD "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ Libya_centrifuges_2003_%28at_Y12%29.jpg") | pictureList.kif 10207-10207 | |
(subclass ProliferationWMD Proliferation) | MilitaryProcesses.kif 1447-1447 |
appearance as argument number 2 |
(termFormat ChineseLanguage ProliferationWMD "增殖作用") | domainEnglishFormat.kif 47698-47698 | |
(termFormat ChineseTraditionalLanguage ProliferationWMD "增殖作用") | domainEnglishFormat.kif 47697-47697 | |
(termFormat EnglishLanguage ProliferationWMD "WMD proliferation") | MilitaryProcesses.kif 2846-2846 | |
(termFormat EnglishLanguage ProliferationWMD "proliferationWMD") | domainEnglishFormat.kif 47696-47696 |
antecedent |
(=> (instance ?PWMD ProliferationWMD) (exists (?P ?WMD) (and (instance ?P Proliferation) (destination ?P ?WMD) (instance ?WMD WeaponOfMassDestruction)))) |
MilitaryProcesses.kif 1451-1457 |
consequent |
(=> (and (instance ?CO CounterproliferationWMD) (agent ?CO ?AGENT)) (exists (?ENEMY ?OP) (and (enemy ?AGENT ?ENEMY) (agent ?OP ?ENEMY) (instance ?OP ProliferationWMD) (hasPurpose ?CO (prevents ?CO ProliferationWMD))))) |
MilitaryProcesses.kif 1478-1488 |