| Weapon(武器)
| |
| appearance as argument number 1 |
|
|
| (documentation Weapon ChineseLanguage "人们设计这个 Class 的 Device 主要是为了伤害或毁灭 Human/ Animal，StationaryArtifact 或 Human/ 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 |
|
|
|