|
|
   Weapon
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Weapon ChineseLanguage "人们设计这个 Class 的 Device 主要是为了伤害或毁灭 Human/ Animal，StationaryArtifact 或 Human/ 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 16024-16026 | |
| (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 16023-16023 | 子類 Weapon and Device |
| appearance as argument number 2 |
|
|
| (disjoint Furniture Weapon) | Mid-level-ontology.kif 3713-3713 | 不相交的 家具 and Weapon |
| (subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | 子類 反裝甲武器 and Weapon |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 21823-21823 | 子類 炸彈 and Weapon |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 17857-17857 | 子類 爆炸性的礦井 and Weapon |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1160-1160 | 子類 槍 and Weapon |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | 子類 高精度武器 and Weapon |
| (subclass Mortar Weapon) | Mid-level-ontology.kif 22055-22055 | 子類 砂漿 and Weapon |
| (subclass NuclearWeapon Weapon) | WMD.kif 131-131 | 子類 核武器 and Weapon |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1113-1113 | 子類 拋射物 and Weapon |
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1131-1131 | 子類 拋射物發射器 and Weapon |
| (subclass Spear Weapon) | Mid-level-ontology.kif 1147-1147 | 子類 矛 and Weapon |
| (subclass Sword Weapon) | Mid-level-ontology.kif 1151-1151 | 子類 劍 and Weapon |
| (subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1449-1449 | 子類 大規模殺傷性武器 and Weapon |
| (subclass Whip Weapon) | Mid-level-ontology.kif 1155-1155 | 子類 鞭子 and Weapon |
| (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 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 16028-16030 | |
| (=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 16032-16039 |
| 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 |
|
|
|
