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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weapon
Weapon(weapon)
.22, ABM, BAR, BB_gun, BLU-82, Big_Blue, Bofors_gun, Bowie_knife, Bren, Bren_gun, Browning_automatic_rifle, Colt, Cupid's_bow, Exocet, Gatling_gun, ICBM, Kalashnikov, Lochaber_ax, Luger, MANPAD, Mauser, Minuteman, SAM, Spandau, Sten_gun, Stinger, V-1, aerial_torpedo, air-to-air, air-to-ground, air-to-surface, anti-submarine_rocket, antiaircraft, antiballistic_missile, antipersonnel, antisubmarine, antitank, arbalest, arbalist, arm, armament, armed, armory, armoury, arms, arquebus, arrowhead, arsenal, artillery, assault_gun...

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


s__documentation(s__Weapon,s__ChineseLanguage,'人们设计这个 ClassDevice 主要是为了伤害或毁灭 Human/ AnimalStationaryArtifactHuman/ Animal 所居住的地方。')

Merge.kif 16196-16197
s__documentation(s__Weapon,s__EnglishLanguage,'The Class of Devices that are designed primarily to damage or destroy Humans/ Animals, StationaryArtifacts or the places inhabited by Humans/ Animals.')

Merge.kif 16193-16195
s__externalImage(s__Weapon,'http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg')

pictureList.kif 1304-1304 "http://upload.wikimedia.org/wikipedia/en/thumb/8/8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg" is a URL depicting weapon
s__instance(s__Weapon,s__SetOrClass)

s__subclass(s__Weapon,s__Device)

s__instance(s__Device,s__SetOrClass)

Merge.kif 16192-16192 Weapon is a subclass of device

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


s__disjoint(s__Furniture,s__Weapon)

Mid-level-ontology.kif 4248-4248 Furniture is disjoint from weapon
s__instance(s__Weapon,s__SetOrClass)

s__subclass(s__AntiArmorWeapon,s__Weapon)

s__instance(s__AntiArmorWeapon,s__SetOrClass)

MilitaryDevices.kif 652-652 Anti armor weapon is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__subclass(s__Bomb,s__Weapon)

s__instance(s__Bomb,s__SetOrClass)

Mid-level-ontology.kif 19610-19610 Bomb is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__ExplosiveMine,s__SetOrClass)

s__subclass(s__ExplosiveMine,s__Weapon)

Mid-level-ontology.kif 15509-15509 Explosive mine is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__Gun,s__SetOrClass)

s__subclass(s__Gun,s__Weapon)

Mid-level-ontology.kif 1549-1549 Gun is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__subclass(s__HighPrecisionWeapon,s__Weapon)

s__instance(s__HighPrecisionWeapon,s__SetOrClass)

MilitaryProcesses.kif 621-621 High precision weapon is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__subclass(s__Mortar,s__Weapon)

s__instance(s__Mortar,s__SetOrClass)

Mid-level-ontology.kif 19839-19839 Mortar is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__NuclearWeapon,s__SetOrClass)

s__subclass(s__NuclearWeapon,s__Weapon)

WMD.kif 130-130 Nuclear weapon is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__Projectile,s__SetOrClass)

s__subclass(s__Projectile,s__Weapon)

Mid-level-ontology.kif 1497-1497 Projectile is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__subclass(s__ProjectileLauncher,s__Weapon)

s__instance(s__ProjectileLauncher,s__SetOrClass)

Mid-level-ontology.kif 1520-1520 Projectile launcher is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__Spear,s__SetOrClass)

s__subclass(s__Spear,s__Weapon)

Mid-level-ontology.kif 1536-1536 Spear is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__Sword,s__SetOrClass)

s__subclass(s__Sword,s__Weapon)

Mid-level-ontology.kif 1540-1540 Sword is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__WeaponOfMassDestruction,s__SetOrClass)

s__subclass(s__WeaponOfMassDestruction,s__Weapon)

Mid-level-ontology.kif 1825-1825 Weapon of mass destruction is a subclass of weapon
s__instance(s__Weapon,s__SetOrClass)

s__instance(s__Whip,s__SetOrClass)

s__subclass(s__Whip,s__Weapon)

Mid-level-ontology.kif 1544-1544 Whip is a subclass of weapon
s__termFormat(s__ChineseLanguage,s__Weapon,'武器')

chinese_format.kif 1059-1059 "武器" is the printable form of weapon in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Weapon,'weapon')

english_format.kif 1248-1248 "weapon" is the printable form of weapon in english language
s__termFormat(s__JapaneseLanguage,s__Weapon,'武器')

english_format.kif 1249-1249 "武器" is the printable form of weapon in japanese language

appearance as argument number 3
-------------------------


s__domainSubclass(s__weaponCarryingCapability__m,2,s__Weapon)

MilitaryDevices.kif 24-24 The number 2 argument of weapon carrying capability is a subclass of weapon

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


( ! [V__WEAPON] :
   (s__instance(V__WEAPON,s__Weapon)s__=>s__capability(s__Damaging,s__instrument__m,V__WEAPON))
)

Merge.kif 16199-16201
No TPTP formula. May not be expressible in strict first order. Merge.kif 16203-16210

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


( ! [V__PC,V__MV,V__ROLE] :
   ((s__instance(V__PC,s__SetOrClass)s__and__ms__subclass(V__PC,s__Process)s__and__ms__instance(V__MV,s__Object)s__and__ms__instance(V__ROLE,s__CaseRole))
    s__=>((s__capability(V__PC,V__ROLE,V__MV)
      s__and__ms__subclass(V__PC,s__Shooting))
    s__=>(s__exists__m[V__WEAPON] :
       (s__instance(V__WEAPON,s__Weapon)s__and__ms__part(V__WEAPON,V__MV)
      s__and__ms__capability(V__PC,V__ROLE,V__WEAPON)))))
)

MilitaryDevices.kif 48-56
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1354-1360
( ! [V__DELIVER] :
   (s__instance(V__DELIVER,s__DeliveringWeaponOfMassDestruction)s__=>(s__exists__m[V__PUTTING,V__WEAPON1,V__WEAPON2] :
       (s__instance(V__PUTTING,s__Putting)s__and__ms__instance(V__WEAPON1,s__WeaponOfMassDestruction)s__and__ms__instance(V__WEAPON2,s__Weapon)s__and__m(s__not__ms__instance(V__WEAPON2,s__WeaponOfMassDestruction))
      s__and__ms__patient(V__PUTTING,V__WEAPON1)
    s__and__ms__destination(V__PUTTING,V__WEAPON2))))
)

WMD.kif 702-711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1872-1892


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