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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Weapon
Weapon

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 14842-14844
(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 14841-14841 subclass Weapon and Device

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


(disjoint Furniture Weapon) Mid-level-ontology.kif 4250-4250 disjoint Furniture and Weapon
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 653-653 subclass AntiArmorWeapon and Weapon
(subclass Bomb Weapon) Mid-level-ontology.kif 19675-19675 subclass Bomb and Weapon
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 15562-15562 subclass ExplosiveMine and Weapon
(subclass Gun Weapon) Mid-level-ontology.kif 1550-1550 subclass Gun and Weapon
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 632-632 subclass HighPrecisionWeapon and Weapon
(subclass Mortar Weapon) Mid-level-ontology.kif 19904-19904 subclass Mortar and Weapon
(subclass NuclearWeapon Weapon) WMD.kif 130-130 subclass NuclearWeapon and Weapon
(subclass Projectile Weapon) Mid-level-ontology.kif 1498-1498 subclass Projectile and Weapon
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1521-1521 subclass ProjectileLauncher and Weapon
(subclass Spear Weapon) Mid-level-ontology.kif 1537-1537 subclass Spear and Weapon
(subclass Sword Weapon) Mid-level-ontology.kif 1541-1541 subclass Sword and Weapon
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1826-1826 subclass WeaponOfMassDestruction and Weapon
(subclass Whip Weapon) Mid-level-ontology.kif 1545-1545 subclass Whip and 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 domainSubclass weaponCarryingCapability, 2 and 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 14846-14848
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 14850-14857

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


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