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
-------------------------


(documentation Weapon ChineseLanguage "人们设计这个 ClassDevice 主要是为了伤害或毁灭 Human/ AnimalStationaryArtifactHuman/ Animal 所居住的地方。") Merge.kif 16144-16145
(documentation Weapon 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
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg") pictureList.kif 1304-1304
(subclass Weapon Device) Merge.kif 16140-16140

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


(disjoint Furniture Weapon) Mid-level-ontology.kif 4248-4248
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 652-652
(subclass Bomb Weapon) Mid-level-ontology.kif 19552-19552
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 15509-15509
(subclass Gun Weapon) Mid-level-ontology.kif 1549-1549
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 621-621
(subclass Mortar Weapon) Mid-level-ontology.kif 19781-19781
(subclass NuclearWeapon Weapon) WMD.kif 130-130
(subclass Projectile Weapon) Mid-level-ontology.kif 1497-1497
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1520-1520
(subclass Spear Weapon) Mid-level-ontology.kif 1536-1536
(subclass Sword Weapon) Mid-level-ontology.kif 1540-1540
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1825-1825
(subclass Whip Weapon) Mid-level-ontology.kif 1544-1544
(termFormat ChineseLanguage Weapon "武器") chinese_format.kif 1059-1059
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 746-746
(termFormat FrenchLanguage Weapon "arme") french_format.kif 737-737
(termFormat Hindi Weapon "hathiyaara") terms-hindi.txt 268-268
(termFormat ItalianLanguage Weapon "Arma") terms-it.txt 269-269
(termFormat PortugueseLanguage Weapon "Arma") portuguese_format.kif 689-689
(termFormat cb Weapon "hinagiban") terms-cb.txt 273-273
(termFormat cz Weapon "weapon") terms-cz.txt 307-307
(termFormat tg Weapon "sandata") terms-tg.txt 272-272

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


(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24

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


(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))
Merge.kif 16147-16149
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 16151-16158

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


(=>
    (and
        (capability ?PC ?ROLE ?MV)
        (subclass ?PC Shooting))
    (exists (?WEAPON)
        (and
            (instance ?WEAPON Weapon)
            (part ?WEAPON ?MV)
            (capability ?PC ?ROLE ?WEAPON))))
MilitaryDevices.kif 48-56
(=>
    (instance ?C CSGas)
    (hasPurpose ?C
        (exists (?W)
            (and
                (instance ?W Weapon)
                (part ?C ?W)))))
MilitaryDevices.kif 1354-1360
(=>
    (instance ?DELIVER DeliveringWeaponOfMassDestruction)
    (exists (?PUTTING ?WEAPON1 ?WEAPON2)
        (and
            (instance ?PUTTING Putting)
            (instance ?WEAPON1 WeaponOfMassDestruction)
            (instance ?WEAPON2 Weapon)
            (not
                (instance ?WEAPON2 WeaponOfMassDestruction))
            (patient ?PUTTING ?WEAPON1)
            (destination ?PUTTING ?WEAPON2))))
WMD.kif 702-711
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H)
            (and
                (instance ?P Protecting)
                (instrument ?P ?S)
                (instance ?H Human)
                (patient ?P ?H)
                (prevents ?P
                    (KappaFn ?I
                        (and
                            (instance ?I Injuring)
                            (exists (?W)
                                (and
                                    (instance ?W Weapon)
                                    (instrument ?I ?W)))
                            (=>
                                (patient ?I ?H)
                                (not
                                    (patient ?P ?H))))))))))
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