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


(documentation Weapon ChineseLanguage "人们设计这个 ClassDevice 主要是为了伤害或毁灭 Human/ AnimalStationaryArtifactHuman/ Animal 所居住的地方。") chinese_format.kif 3632-3633
(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 14832-14834
(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 14831-14831 Weapon is a subclass of device

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


(disjoint Furniture Weapon) Mid-level-ontology.kif 4244-4244 Furniture is disjoint from weapon
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 653-653 Anti armor weapon is a subclass of weapon
(subclass Bomb Weapon) Mid-level-ontology.kif 19623-19623 Bomb is a subclass of weapon
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 15510-15510 Explosive mine is a subclass of weapon
(subclass Gun Weapon) Mid-level-ontology.kif 1544-1544 Gun is a subclass of weapon
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 632-632 High precision weapon is a subclass of weapon
(subclass Mortar Weapon) Mid-level-ontology.kif 19852-19852 Mortar is a subclass of weapon
(subclass NuclearWeapon Weapon) WMD.kif 130-130 Nuclear weapon is a subclass of weapon
(subclass Projectile Weapon) Mid-level-ontology.kif 1492-1492 Projectile is a subclass of weapon
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1515-1515 Projectile launcher is a subclass of weapon
(subclass Spear Weapon) Mid-level-ontology.kif 1531-1531 Spear is a subclass of weapon
(subclass Sword Weapon) Mid-level-ontology.kif 1535-1535 Sword is a subclass of weapon
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1820-1820 Weapon of mass destruction is a subclass of weapon
(subclass Whip Weapon) Mid-level-ontology.kif 1539-1539 Whip is a subclass of weapon
(termFormat ChineseLanguage Weapon "武器") chinese_format.kif 1059-1059
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 1334-1334

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


(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 The number 2 argument of weapon carrying capability is a subclass of weapon

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


(=>
    (and
        (instance ?WEAPON Weapon)
        (part ?WEAPON ?MV)
        (instance ?MV Vehicle))
    (instance ?MV MilitaryVehicle))
MilitaryDevices.kif 61-66
(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))
Merge.kif 14836-14838
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 14840-14847

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 1355-1361
(=>
    (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 702-713
(=>
    (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 1867-1887


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