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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WeaponOfMassDestruction

Sigma KEE - WeaponOfMassDestruction
WeaponOfMassDestruction

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


(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 1450-1452
(externalImage WeaponOfMassDestruction "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ c/ c2/ Fat_man.jpg/ 180px-Fat_man.jpg") pictureList.kif 1310-1310
(partition WeaponOfMassDestruction RadioactiveWeapon BiochemicalWeapon) WMD.kif 673-673 WeaponOfMassDestructionRadioactiveWeapon + BiochemicalWeaponexhaustively partitioned %n
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1449-1449 WeaponOfMassDestruction武器subclass では %n

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


(subclass BiochemicalWeapon WeaponOfMassDestruction) WMD.kif 103-103 BiochemicalWeaponWeaponOfMassDestructionsubclass では %n
(subclass RadioactiveWeapon WeaponOfMassDestruction) WMD.kif 117-117 RadioactiveWeaponWeaponOfMassDestructionsubclass では %n
(termFormat ChineseLanguage WeaponOfMassDestruction "大规模杀伤性武器") domainEnglishFormat.kif 62577-62577
(termFormat ChineseTraditionalLanguage WeaponOfMassDestruction "大規模殺傷性武器") domainEnglishFormat.kif 62576-62576
(termFormat EnglishLanguage WeaponOfMassDestruction "weapon of mass destruction") domainEnglishFormat.kif 62575-62575

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


(=>
    (and
        (instance ?WEAPON WeaponOfMassDestruction)
        (instrument ?ATTACK ?WEAPON)
        (instance ?ATTACK BiochemicalAttack))
    (instance ?WEAPON BiochemicalWeapon))
WMD.kif 44-49

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


(=>
    (and
        (instance ?DEPLOY DeployingWeaponOfMassDestruction)
        (patient ?DEPLOY ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))
WMD.kif 680-684
(=>
    (and
        (instance ?DEVELOP DevelopingWeaponOfMassDestruction)
        (result ?DEVELOP ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))
WMD.kif 690-694
(=>
    (and
        (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
        (patient ?DISMANTLE ?WEAPON))
    (instance ?WEAPON WeaponOfMassDestruction))
WMD.kif 735-739
(=>
    (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 707-718
(=>
    (instance ?PWMD ProliferationWMD)
    (exists (?P ?WMD)
        (and
            (instance ?P Proliferation)
            (destination ?P ?WMD)
            (instance ?WMD WeaponOfMassDestruction))))
MilitaryProcesses.kif 1451-1457
(=>
    (instance ?RESEARCH ResearchingWeaponOfMassDestruction)
    (exists (?WEAPON)
        (and
            (instance ?WEAPON WeaponOfMassDestruction)
            (refers ?RESEARCH ?WEAPON))))
WMD.kif 724-729


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