| Proliferation(proliferation)
| | proliferate, proliferation |
| appearance as argument number 1 |
|
|
| (documentation Proliferation EnglishLanguage "WN: a rapid increase in number (especially a rapid increase in the number of deadly weapons)") | MilitaryProcesses.kif 1434-1435 | |
| (externalImage Proliferation "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ Libya_centrifuges_2003_%28at_Y12%29.jpg") | pictureList.kif 10206-10206 | |
| (externalImage Proliferation "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Fat_man.jpg") | pictureList.kif 11675-11675 | |
| (externalImage Proliferation "http://upload.wikimedia.org/wikipedia/en/c/ cd/ Nuclear_weapon_programs_worldwide_oct2006.png") | pictureList.kif 11676-11676 | |
| (subclass Proliferation Increasing) | MilitaryProcesses.kif 1433-1433 | Proliferation is a subclass of increasing |
| appearance as argument number 2 |
|
|
| (subclass ProliferationWMD Proliferation) | MilitaryProcesses.kif 1447-1447 | ProliferationWMD is a subclass of proliferation |
| (termFormat ChineseLanguage Proliferation "增殖") | domainEnglishFormat.kif 47728-47728 | ProliferationWMD is a subclass of proliferation |
| (termFormat ChineseTraditionalLanguage Proliferation "增殖") | domainEnglishFormat.kif 47727-47727 | ProliferationWMD is a subclass of proliferation |
| (termFormat EnglishLanguage Proliferation "proliferation") | domainEnglishFormat.kif 47726-47726 | ProliferationWMD is a subclass of proliferation |
| antecedent |
|
|
| (=> (instance ?P Proliferation) (exists (?C ?A ?I) (and (instance ?C Classifying) (agent ?C ?A) (instance ?I Increasing) (destination ?C ?I) (subjectiveAttribute ?I Quick ?A)))) |
MilitaryProcesses.kif 1437-1445 |
|
| consequent |
|
|
| (=> (instance ?PWMD ProliferationWMD) (exists (?P ?WMD) (and (instance ?P Proliferation) (destination ?P ?WMD) (instance ?WMD WeaponOfMassDestruction)))) |
MilitaryProcesses.kif 1451-1457 |
|
|
|
|