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 所居住的地方。") Merge.kif 20568-20569
(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 20565-20567
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg") pictureList.kif 1304-1304 externalImage 武器 and "http://upload.wikimedia.org/wikipedia/en/thumb/8/8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg"
(subclass Weapon Device) Merge.kif 20564-20564 武器デバイスsubclass では %n

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


(disjoint Furniture Weapon) Mid-level-ontology.kif 4248-4248 Furniture武器disjoint では %n
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 652-652 AntiArmorWeapon武器subclass では %n
(subclass Bomb Weapon) Mid-level-ontology.kif 19611-19611 Bomb武器subclass では %n
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 15510-15510 ExplosiveMine武器subclass では %n
(subclass Gun Weapon) Mid-level-ontology.kif 1549-1549 Gun武器subclass では %n
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 621-621 HighPrecisionWeapon武器subclass では %n
(subclass Mortar Weapon) Mid-level-ontology.kif 19840-19840 Mortar武器subclass では %n
(subclass NuclearWeapon Weapon) WMD.kif 130-130 NuclearWeapon武器subclass では %n
(subclass Projectile Weapon) Mid-level-ontology.kif 1497-1497 Projectile武器subclass では %n
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1520-1520 ProjectileLauncher武器subclass では %n
(subclass Spear Weapon) Mid-level-ontology.kif 1536-1536 Spear武器subclass では %n
(subclass Sword Weapon) Mid-level-ontology.kif 1540-1540 Sword武器subclass では %n
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1825-1825 WeaponOfMassDestruction武器subclass では %n
(subclass Whip Weapon) Mid-level-ontology.kif 1544-1544 Whip武器subclass では %n
(termFormat ChineseLanguage Weapon "武器") chinese_format.kif 1059-1059 termFormat ChineseLanguage, 武器 and "武器"
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 1880-1880 termFormat EnglishLanguage, 武器 and "weapon"
(termFormat JapaneseLanguage Weapon "武器") english_format.kif 1881-1881 termFormat JapaneseLanguage, 武器 and "武器"

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


(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 weaponCarryingCapability の数値 2 引数は 武器subclass では %n

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


(=>
    (instance ?WEAPON Weapon)
    (capability Damaging instrument ?WEAPON))
Merge.kif 20571-20573
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 20575-20582

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