TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ProliferationWMD Proliferation)	MilitaryProcesses.kif 1469-1469	ProliferationWMD is a subclass of proliferation
(documentation ProliferationWMD EnglishLanguage "A rapid increase the number of WMD, especially the number possessed by different countries or groups.")	MilitaryProcesses.kif 1470-1471	ProliferationWMD is a subclass of proliferation
(externalImage ProliferationWMD "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8d/ Libya_centrifuges_2003_%28at_Y12%29.jpg")	pictureList.kif 10205-10205	ProliferationWMD is a subclass of proliferation
(externalImage ProliferationWMD "http://upload.wikimedia.org/wikipedia/commons/ 1/ 13/ Nuclear_weapon_programs_worldwide.png")	pictureList.kif 11670-11670	ProliferationWMD is a subclass of proliferation

appearance as argument number 2

(termFormat EnglishLanguage ProliferationWMD "WMD proliferation")	MilitaryProcesses.kif 3009-3009
(termFormat EnglishLanguage ProliferationWMD "proliferationWMD")	domainEnglishFormat.kif 47689-47689
(termFormat ChineseTraditionalLanguage ProliferationWMD "增殖作用")	domainEnglishFormat.kif 47690-47690
(termFormat ChineseLanguage ProliferationWMD "增殖作用")	domainEnglishFormat.kif 47691-47691

antecedent

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

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

If X is an instance of counterproliferationWM d and Y is an agent of X, then there exist Z, W such that Y, Z are enemies of each other, Z is an agent of W, W is an instance of proliferationWMD, and X has the purpose X prevents the occurrence of proliferationWMD