Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proliferation
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 10204-10204
(externalImage Proliferation "http://upload.wikimedia.org/wikipedia/commons/ c/ c2/ Fat_man.jpg") pictureList.kif 11668-11668
(externalImage Proliferation "http://upload.wikimedia.org/wikipedia/en/c/ cd/ Nuclear_weapon_programs_worldwide_oct2006.png") pictureList.kif 11669-11669
(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 47721-47721 ProliferationWMD is a subclass of proliferation
(termFormat ChineseTraditionalLanguage Proliferation "增殖") domainEnglishFormat.kif 47720-47720 ProliferationWMD is a subclass of proliferation
(termFormat EnglishLanguage Proliferation "proliferation") domainEnglishFormat.kif 47719-47719 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners