Proliferation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Proliferation Increasing)	MilitaryProcesses.kif 1455-1455	Proliferation is a subclass of increasing
(documentation Proliferation EnglishLanguage "WN: a rapid increase in number (especially a rapid increase in the number of deadly weapons)")	MilitaryProcesses.kif 1456-1457	Proliferation is a subclass of increasing
(externalImage Proliferation "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ Libya_centrifuges_2003_%28at_Y12%29.jpg")	pictureList.kif 10204-10204	Proliferation is a subclass of increasing
(externalImage Proliferation "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Fat_man.jpg")	pictureList.kif 11668-11668	Proliferation is a subclass of increasing
(externalImage Proliferation "http://upload.wikimedia.org/wikipedia/en/c/ cd/ Nuclear_weapon_programs_worldwide_oct2006.png")	pictureList.kif 11669-11669	Proliferation is a subclass of increasing

appearance as argument number 2

(subclass ProliferationWMD Proliferation)	MilitaryProcesses.kif 1469-1469	ProliferationWMD is a subclass of proliferation
(termFormat EnglishLanguage Proliferation "proliferation")	domainEnglishFormat.kif 47683-47683	ProliferationWMD is a subclass of proliferation
(termFormat ChineseTraditionalLanguage Proliferation "增殖")	domainEnglishFormat.kif 47684-47684	ProliferationWMD is a subclass of proliferation
(termFormat ChineseLanguage Proliferation "增殖")	domainEnglishFormat.kif 47685-47685	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))))

If X is an instance of proliferation, then there exist Y, Z, W such that Y is an instance of classifying, Z is an agent of Y, W is an instance of increasing, Y ends up at W, and Z believes W is quick

consequent

(=>
    (instance ?PWMD ProliferationWMD)
    (exists (?P ?WMD)
        (and
            (instance ?P Proliferation)
            (destination ?P ?WMD)
            (instance ?WMD WeaponOfMassDestruction))))