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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(documentation NuclearWeapon EnglishLanguage "An ExplosiveDevice and RadioactiveWeapon which achieves its effect by means of a critical mass of a radioactive substance.") WMD.kif 131-132
(externalImage NuclearWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c2/ Fat_man.jpg/ 150px-Fat_man.jpg") pictureList.kif 1201-1201 "http://upload.wikimedia.org/wikipedia/commons/thumb/ c/ c2/ Fat_man.jpg/ 150px-Fat_man.jpg" is a URL depicting nuclear weapon
(subclass NuclearWeapon ExplosiveDevice) WMD.kif 129-129 Nuclear weapon is a subclass of explosive device
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 133-133 Nuclear weapon is a subclass of radioactive weapon
(subclass NuclearWeapon Weapon) WMD.kif 130-130 Nuclear weapon is a subclass of weapon

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


(partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon) WMD.kif 643-643 Radioactive weapon is exhaustively partitioned into nuclear weapon and radiological weapon
(subclass AbsoluteDud NuclearWeapon) MilitaryDevices.kif 1391-1391 Absolute dud is a subclass of nuclear weapon
(termFormat ChineseLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41317-41317 "核武器" is the printable form of nuclear weapon in ChineseLanguage
(termFormat ChineseTraditionalLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41316-41316 "核武器" is the printable form of nuclear weapon in ChineseTraditionalLanguage
(termFormat EnglishLanguage NuclearWeapon "nuclear weapon") domainEnglishFormat.kif 41315-41315 "nuclear weapon" is the printable form of nuclear weapon in english language

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


(=>
    (instance ?W NuclearWeapon)
    (capability RadiatingNuclear instrument ?W))
WMD.kif 135-137

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


(=>
    (and
        (instance ?FACILITY NuclearWeaponProductionFacility)
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (eventLocated ?DEVELOP ?FACILITY)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON NuclearWeapon))
WMD.kif 649-655
(=>
    (and
        (instance ?FACILITY NuclearWeaponResearchFacility)
        (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
        (eventLocated ?RESEARCH ?FACILITY))
    (refers ?RESEARCH NuclearWeapon))
WMD.kif 661-666


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners