| ProliferationWMD(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 11670-11670 | |
| (externalImage ProliferationWMD "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ Libya_centrifuges_2003_%28at_Y12%29.jpg") | pictureList.kif 10205-10205 | |
| (subclass ProliferationWMD Proliferation) | MilitaryProcesses.kif 1447-1447 | ProliferationWMD is a subclass of proliferation |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ProliferationWMD "增殖作用") | domainEnglishFormat.kif 47727-47727 | |
| (termFormat ChineseTraditionalLanguage ProliferationWMD "增殖作用") | domainEnglishFormat.kif 47726-47726 | |
| (termFormat EnglishLanguage ProliferationWMD "WMD proliferation") | MilitaryProcesses.kif 2965-2965 | |
| (termFormat EnglishLanguage ProliferationWMD "proliferationWMD") | domainEnglishFormat.kif 47725-47725 |
| 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 |
|
|
|
|