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 16046-16048
(externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg") pictureList.kif 1303-1303
(subclass Weapon Device) Merge.kif 16045-16045 武器设备subclass

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


(disjoint Furniture Weapon) Mid-level-ontology.kif 3713-3713 家具 和 % 2 是 disjoint
(subclass AntiArmorWeapon Weapon) MilitaryDevices.kif 653-653 反装甲武器武器subclass
(subclass Bomb Weapon) Mid-level-ontology.kif 21822-21822 炸弹武器subclass
(subclass ExplosiveMine Weapon) Mid-level-ontology.kif 17856-17856 爆炸性的矿井武器subclass
(subclass Gun Weapon) Mid-level-ontology.kif 1160-1160 武器subclass
(subclass HighPrecisionWeapon Weapon) MilitaryProcesses.kif 632-632 高精度武器武器subclass
(subclass Mortar Weapon) Mid-level-ontology.kif 22054-22054 砂浆武器subclass
(subclass NuclearWeapon Weapon) WMD.kif 131-131 核武器武器subclass
(subclass Projectile Weapon) Mid-level-ontology.kif 1113-1113 抛射物武器subclass
(subclass ProjectileLauncher Weapon) Mid-level-ontology.kif 1131-1131 抛射物发射器武器subclass
(subclass Spear Weapon) Mid-level-ontology.kif 1147-1147 武器subclass
(subclass Sword Weapon) Mid-level-ontology.kif 1151-1151 武器subclass
(subclass WeaponOfMassDestruction Weapon) Mid-level-ontology.kif 1449-1449 大规模杀伤性武器武器subclass
(subclass Whip Weapon) Mid-level-ontology.kif 1155-1155 鞭子武器subclass
(termFormat ChineseLanguage Weapon "武器") chinese_format.kif 1059-1059
(termFormat EnglishLanguage Weapon "weapon") english_format.kif 1329-1329
(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 271-271
(termFormat JapaneseLanguage Weapon "武器") japanese_format.kif 2421-2421
(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 ro Weapon "armã") relations-ro.kif 758-758

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domainSubclass weaponCarryingCapability 2 Weapon) MilitaryDevices.kif 24-24 武器携带能力 的 2 数量 是 武器subclass

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 16050-16052
(=>
    (instance ?WEAPON Weapon)
    (hasPurpose ?WEAPON
        (exists (?D ?PATIENT)
            (and
                (instance ?D Damaging)
                (instrument ?D ?WEAPON)
                (patient ?D ?PATIENT)))))
Merge.kif 16054-16061

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 707-718
(=>
    (instance ?S Shield)
    (hasPurpose ?S
        (exists (?P ?H ?I)
            (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 1472-1492


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 3.0 is open source software produced by Articulate Software and its partners