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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proliferation
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 增殖增加subclass

appearance as argument number 2
-------------------------


(subclass ProliferationWMD Proliferation) MilitaryProcesses.kif 1447-1447 增殖作用增殖subclass
(termFormat ChineseLanguage Proliferation "增殖") domainEnglishFormat.kif 47690-47690
(termFormat ChineseTraditionalLanguage Proliferation "增殖") domainEnglishFormat.kif 47689-47689
(termFormat EnglishLanguage Proliferation "proliferation") domainEnglishFormat.kif 47688-47688

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