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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 " 8/ 8d/ Libya_centrifuges_2003_%28at_Y12%29.jpg") pictureList.kif 10206-10206
(externalImage Proliferation " c/ c2/ Fat_man.jpg") pictureList.kif 11675-11675
(externalImage Proliferation " cd/ Nuclear_weapon_programs_worldwide_oct2006.png") pictureList.kif 11676-11676
(subclass Proliferation Increasing) MilitaryProcesses.kif 1433-1433

appearance as argument number 2

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


    (instance ?P Proliferation)
    (exists (?C ?A ?I)
            (instance ?C Classifying)
            (agent ?C ?A)
            (instance ?I Increasing)
            (destination ?C ?I)
            (subjectiveAttribute ?I Quick ?A))))
MilitaryProcesses.kif 1437-1445


    (instance ?PWMD ProliferationWMD)
    (exists (?P ?WMD)
            (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