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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NuclearWeapon

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 131-132
(externalImage NuclearWeapon "http://upload.wikimedia.org/wikipedia/commons/ thumb/ c/ c2/ Fat_man.jpg/ 150px-Fat_man.jpg") pictureList.kif 1201-1201
(subclass NuclearWeapon ExplosiveDevice) WMD.kif 129-129
(subclass NuclearWeapon RadioactiveWeapon) WMD.kif 133-133
(subclass NuclearWeapon Weapon) WMD.kif 130-130

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


(partition RadioactiveWeapon NuclearWeapon RadiologicalWeapon) WMD.kif 643-643
(subclass AbsoluteDud NuclearWeapon) MilitaryDevices.kif 1391-1391
(termFormat ChineseLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41382-41382
(termFormat ChineseTraditionalLanguage NuclearWeapon "核武器") domainEnglishFormat.kif 41381-41381
(termFormat EnglishLanguage NuclearWeapon "nuclear weapon") domainEnglishFormat.kif 41380-41380

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 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 is open source software produced by Articulate Software and its partners