Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WeaponOfMassDestruction
WeaponOfMassDestruction(weapon of mass destruction)
W.M.D., WMD, weapon_of_mass_destruction

appearance as argument number 1
-------------------------


(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1716-1716 Weapon of mass destruction is a subclass of weapon
(documentation WeaponOfMassDestruction EnglishLanguage "Nuclear, chemical and biological weapons. What these weapons have in common is that they are designed to kill large numbers of people indiscriminately.") Mid-level-ontology.kif 1717-1719 Weapon of mass destruction is a subclass of weapon
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 668-668 Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon
(externalImage WeaponOfMassDestruction "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ c/ c2/ Fat_man.jpg/ 180px_Fat_man.jpg") pictureList.kif 1310-1310 Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon

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


(subclass BiochemicalWeapon WeaponOfMassDestruction) WMD.kif 97-97 Biochemical weapon is a subclass of weapon of mass destruction
(subclass RadioactiveWeapon WeaponOfMassDestruction) WMD.kif 111-111 Radioactive weapon is a subclass of weapon of mass destruction
(termFormat EnglishLanguage WeaponOfMassDestruction "weapon of mass destruction") domainEnglishFormat.kif 62578-62578 Radioactive weapon is a subclass of weapon of mass destruction
(termFormat ChineseTraditionalLanguage WeaponOfMassDestruction "大規模殺傷性武器") domainEnglishFormat.kif 62579-62579 Radioactive weapon is a subclass of weapon of mass destruction
(termFormat ChineseLanguage WeaponOfMassDestruction "大规模杀伤性武器") domainEnglishFormat.kif 62580-62580 Radioactive weapon is a subclass of weapon of mass destruction

antecedent
-------------------------


(=>
    (and
        (instance ?WEAPON WeaponOfMassDestruction)
        (instrument ?ATTACK ?WEAPON)
        (instance ?ATTACK BiochemicalAttack))
    (instance ?WEAPON BiochemicalWeapon))		 WMD.kif 44-49 If X is an instance of weapon of mass destruction, X is an instrument for Y, and Y is an instance of biochemical attack, then X is an instance of biochemical weapon

consequent
-------------------------


(=>
    (instance ?PWMD ProliferationWMD)
    (exists (?P ?WMD)
        (and
            (instance ?P Proliferation)
            (destination ?P ?WMD)
            (instance ?WMD WeaponOfMassDestruction))))		 MilitaryProcesses.kif 1473-1479 If X is an instance of proliferationWMD, then there exist Y, Z such that Y is an instance of proliferation, Y ends up at Z, and Z is an instance of weapon of mass destruction
(=>
    (and
        (instance ?DEPLOY DeployingWeaponOfMassDestruction)
        (patient ?DEPLOY ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))		 WMD.kif 675-679 If X is an instance of deploying weapon of mass destruction and Y is a patient of X, then Y is an instance of weapon of mass destruction
(=>
    (and
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))		 WMD.kif 685-689 If X is an instance of developing weapon of mass destruction and Y is a result of X, then Y is an instance of weapon of mass destruction
(=>
    (instance ?DELIVER DeliveringWeaponOfMassDestruction)
    (exists (?PUTTING ?WEAPON1 ?WEAPON2)
        (and
            (instance ?PUTTING Putting)
            (subProcess ?PUTTING ?DELIVER)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
            (not
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))		 WMD.kif 702-713 If X is an instance of delivering weapon of mass destruction, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of putting (3) Y is a subprocess of X (4) Z is an instance of weapon of mass destruction (5) W is an instance of weapon (6) W is not an instance of weapon of mass destruction (7) Z is a patient of Y (8) Y ends up at W
(=>
    (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
    (exists (?WEAPON)
        (and
            (instance ?WEAPON WeaponOfMassDestruction)
            (refers ?RESEARCH ?WEAPON))))		 WMD.kif 719-724 If X is an instance of researching weapon of mass destruction, then there exists Y such that Y is an instance of weapon of mass destruction and X includes a reference to Y
(=>
    (and
        (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
        (patient ?DISMANTLE ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))		 WMD.kif 730-734 If X is an instance of dismantling weapon of mass destruction and Y is a patient of X, then Y is an instance of weapon of mass destruction


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners