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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WeaponOfMassDestruction
WeaponOfMassDestruction(weapon of mass destruction)
W.M.D., WMD, weapon_of_mass_destruction

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


s__documentation(s__WeaponOfMassDestruction,s__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 1387-1389
s__externalImage(s__WeaponOfMassDestruction,'"http://upload.wikimedia.org/wikipedia/ commons/ thumb/ c/ c2/ Fat_man.jpg/ 180px-Fat_man.jpg"')

pictureList.kif 1311-1311
s__partition__3(s__WeaponOfMassDestruction,s__RadioactiveWeapon,s__BiochemicalWeapon)

WMD.kif 668-668 Weapon of mass destruction is exhaustively partitioned into radioactive weapon and biochemical weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__WeaponOfMassDestruction,s__SetOrClass)

s__subclass(s__WeaponOfMassDestruction,s__Weapon)

Mid-level-ontology.kif 1386-1386 Weapon of mass destruction is a subclass of weapon

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


s__instance(s__WeaponOfMassDestruction,s__SetOrClass)

s__subclass(s__BiochemicalWeapon,s__WeaponOfMassDestruction)

s__instance(s__BiochemicalWeapon,s__SetOrClass)

WMD.kif 102-102 Biochemical weapon is a subclass of weapon of mass destruction
s__instance(s__WeaponOfMassDestruction,s__SetOrClass)

s__instance(s__RadioactiveWeapon,s__SetOrClass)

s__subclass(s__RadioactiveWeapon,s__WeaponOfMassDestruction)

WMD.kif 116-116 Radioactive weapon is a subclass of weapon of mass destruction
s__termFormat(s__ChineseLanguage,s__WeaponOfMassDestruction,'"大规模杀伤性武器"')

domainEnglishFormat.kif 62543-62543
s__termFormat(s__ChineseTraditionalLanguage,s__WeaponOfMassDestruction,'"大規模殺傷性武器"')

domainEnglishFormat.kif 62542-62542
s__termFormat(s__EnglishLanguage,s__WeaponOfMassDestruction,'"weapon of mass destruction"')

domainEnglishFormat.kif 62541-62541

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


( ! [V__WEAPON,V__ATTACK] :
   (((s__instance(V__WEAPON,s__WeaponOfMassDestruction) &
         s__instrument(V__ATTACK,V__WEAPON)
       &
       s__instance(V__ATTACK,s__BiochemicalAttack))
     =>
     (s__instance(V__WEAPON,s__BiochemicalWeapon)))
   )
)

WMD.kif 44-49

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


( ! [V__WEAPON,V__DEPLOY] :
   (((s__instance(V__DEPLOY,s__DeployingWeaponOfMassDestruction) &
         s__patient(V__DEPLOY,V__WEAPON))
     =>
     (s__instance(V__WEAPON,s__WeaponOfMassDestruction)))
   )
)

WMD.kif 675-679
( ! [V__DEVELOP,V__WEAPON] :
   (((s__instance(V__DEVELOP,s__DevelopingWeaponOfMassDestruction) &
         s__result(V__DEVELOP,V__WEAPON))
     =>
     (s__instance(V__WEAPON,s__WeaponOfMassDestruction)))
   )
)

WMD.kif 685-689
( ! [V__WEAPON,V__DISMANTLE] :
   (((s__instance(V__DISMANTLE,s__DismantlingWeaponOfMassDestruction) &
         s__patient(V__DISMANTLE,V__WEAPON))
     =>
     (s__instance(V__WEAPON,s__WeaponOfMassDestruction)))
   )
)

WMD.kif 730-734
( ! [V__DELIVER] :
   ((s__instance(V__DELIVER,s__DeliveringWeaponOfMassDestruction) =>
       (( ? [V__PUTTING, V__WEAPON1, V__WEAPON2] :
           ((s__instance(V__PUTTING,s__Putting) &
               s__subProcess(V__PUTTING,V__DELIVER)
             &
             s__instance(V__WEAPON1,s__WeaponOfMassDestruction) &
             s__instance(V__WEAPON2,s__Weapon) &
             ~(s__instance(V__WEAPON2,s__WeaponOfMassDestruction))
             &
             s__patient(V__PUTTING,V__WEAPON1)
           &
           s__destination(V__PUTTING,V__WEAPON2))))))
)
)

WMD.kif 702-713
( ! [V__RESEARCH] :
   ((s__instance(V__RESEARCH,s__ResearchingWeaponOfMassDestruction) =>
       (( ? [V__WEAPON] :
           ((s__instance(V__WEAPON,s__Class) &
               (s__subclass(V__WEAPON,s__WeaponOfMassDestruction) &
                 s__refers(V__RESEARCH,V__WEAPON)))))))
   )
)

WMD.kif 719-724


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