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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NuclearWeapon
NuclearWeapon

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 132-133
(externalImage NuclearWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c2/ Fat_man.jpg/ 150px_Fat_man.jpg") pictureList.kif 1200-1200
(subclass NuclearWeapon ExplosiveDevice) WMD.kif 130-130 NuclearWeapon est une sous-classe de ExplosiveDevice
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 134-134 NuclearWeapon est une sous-classe de RadioactiveWeapon
(subclass NuclearWeapon Weapon) WMD.kif 131-131 NuclearWeapon est une sous-classe de arme

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


(partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon) WMD.kif 648-648 RadioactiveWeapon est compl�tement d�compos� en NuclearWeapon + RadiologicalWeapon
(termFormat ChineseLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41405-41405 RadioactiveWeapon est compl�tement d�compos� en NuclearWeapon + RadiologicalWeapon
(termFormat ChineseTraditionalLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41404-41404 RadioactiveWeapon est compl�tement d�compos� en NuclearWeapon + RadiologicalWeapon
(termFormat EnglishLanguage NuclearWeapon "nuclear weapon") domainEnglishFormat.kif 41403-41403 RadioactiveWeapon est compl�tement d�compos� en NuclearWeapon + RadiologicalWeapon

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


(=>
    (instance ?W NuclearWeapon)
    (capability RadiatingNuclear instrument ?W))
WMD.kif 136-138

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


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


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