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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weapon
Weapon
.22, ABM, Arma, 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, arme, armed, armory, armoury, arms, arquebus, arrowhead, arsenal...

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


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

Merge.kif 16144-16145
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 16141-16143
s__externalImage(s__Weapon,'http://upload.wikimedia.org/wikipedia/en/thumb/8/8e/Marlin1894C.jpg/250px-Marlin1894C.jpg')

pictureList.kif 1304-1304
s__instance(s__Device,s__SetOrClass)

Merge.kif 16140-16140

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


s__disjoint(s__Furniture,s__Weapon)

Mid-level-ontology.kif 4248-4248
s__instance(s__AntiArmorWeapon,s__SetOrClass)

MilitaryDevices.kif 652-652
s__instance(s__Bomb,s__SetOrClass)

Mid-level-ontology.kif 19552-19552
s__subclass(s__ExplosiveMine,s__Weapon)

Mid-level-ontology.kif 15509-15509
s__instance(s__Weapon,s__SetOrClass)

Mid-level-ontology.kif 1549-1549
s__subclass(s__HighPrecisionWeapon,s__Weapon)

MilitaryProcesses.kif 621-621
s__subclass(s__Mortar,s__Weapon)

Mid-level-ontology.kif 19781-19781
s__instance(s__NuclearWeapon,s__SetOrClass)

WMD.kif 130-130
s__instance(s__Projectile,s__SetOrClass)

Mid-level-ontology.kif 1497-1497
s__instance(s__Weapon,s__SetOrClass)

Mid-level-ontology.kif 1520-1520
s__instance(s__Spear,s__SetOrClass)

Mid-level-ontology.kif 1536-1536
s__subclass(s__Sword,s__Weapon)

Mid-level-ontology.kif 1540-1540
s__instance(s__WeaponOfMassDestruction,s__SetOrClass)

Mid-level-ontology.kif 1825-1825
s__subclass(s__Whip,s__Weapon)

Mid-level-ontology.kif 1544-1544
s__termFormat(s__ChineseLanguage,s__Weapon,'武器')

chinese_format.kif 1059-1059
s__termFormat(s__EnglishLanguage,s__Weapon,'weapon')

english_format.kif 746-746
s__termFormat(s__FrenchLanguage,s__Weapon,'arme')

french_format.kif 737-737
s__termFormat(s__Hindi,s__Weapon,'hathiyaara')

terms-hindi.txt 268-268
s__termFormat(s__ItalianLanguage,s__Weapon,'Arma')

terms-it.txt 269-269
s__termFormat(s__PortugueseLanguage,s__Weapon,'Arma')

portuguese_format.kif 689-689
s__termFormat(s__cb__m,s__Weapon,'hinagiban')

terms-cb.txt 273-273
s__termFormat(s__cz__m,s__Weapon,'weapon')

terms-cz.txt 307-307
s__termFormat(s__tg__m,s__Weapon,'sandata')

terms-tg.txt 272-272

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


s__domainSubclass(s__weaponCarryingCapability__m,2,s__Weapon)

MilitaryDevices.kif 24-24

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


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

Merge.kif 16147-16149
No TPTP formula. May not be expressible in strict first order. Merge.kif 16151-16158

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


( ! [V__PC,V__ROLE,V__MV] :
   ((s__capability(V__PC,V__ROLE,V__MV)
     &
     s__subclass(V__PC,s__Shooting))
   =>
   (? [V__WEAPON] :
     (s__instance(V__WEAPON,s__Weapon) &
       s__part(V__WEAPON,V__MV)
     &
     s__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) =>
     (? [V__PUTTING,V__WEAPON1,V__WEAPON2] :
       (s__instance(V__PUTTING,s__Putting) &
         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-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