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


KB Term:  Term intersection
English Word: 

  NuclearWeapon

 Sigma KEE - NuclearWeapon
NuclearWeapon(nuclear weapon)
A-bomb, H-bomb, atom_bomb, atomic_bomb, atomic_weapon, fission_bomb, fusion_bomb, hydrogen_bomb, megaton_bomb, nuclear_weapon, plutonium_bomb, thermonuclear_bomb

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


(subclass NuclearWeapon Bomb) WMD.kif 124-124 Nuclear weapon is a subclass of bomb
(documentation NuclearWeapon EnglishLanguage "An ExplosiveDevice and RadioactiveWeapon which achieves its effect by means of a critical mass of a radioactive substance.") WMD.kif 125-126 Nuclear weapon is a subclass of bomb
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 127-127 Nuclear weapon is a subclass of radioactive weapon
(externalImage NuclearWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c2/ Fat_man.jpg/ 150px_Fat_man.jpg") pictureList.kif 1200-1200 Nuclear weapon is a subclass of radioactive weapon

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


(subclass AbsoluteDud NuclearWeapon) MilitaryDevices.kif 1548-1548 Absolute dud is a subclass of nuclear weapon
(partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon) WMD.kif 643-643 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
(termFormat EnglishLanguage NuclearWeapon "nuclear weapon") domainEnglishFormat.kif 41396-41396 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
(termFormat ChineseTraditionalLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41397-41397 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
(termFormat ChineseLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41398-41398 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon

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


(=>
    (instance ?W NuclearWeapon)
    (capability RadiatingNuclear instrument ?W))		 WMD.kif 129-131 If X is an instance of nuclear weapon, then X is capable of doing radiating nuclear as a instrument

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


(=>
    (and
        (instance ?FACILITY NuclearWeaponProductionFacility)
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (eventLocated ?DEVELOP ?FACILITY)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON NuclearWeapon))		 WMD.kif 649-655 If X is an instance of nuclear weapon production facility, Y is an instance of developing weapon of mass destruction, Y is located at X, and Z is a result of Y, then Z is an instance of nuclear weapon
(=>
    (and
        (instance ?FACILITY NuclearWeaponResearchFacility)
        (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
        (eventLocated ?RESEARCH ?FACILITY))
    (refers ?RESEARCH NuclearWeapon))		 WMD.kif 661-666 If X is an instance of nuclear weapon research facility, Y is an instance of researching weapon of mass destruction, and Y is located at X, then Y includes a reference to nuclear weapon


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners