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 16185-16187 | |
(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 16184-16184 | 武器 は デバイス の subclass では |
appearance as argument number 2 |
![]() |
(disjoint Furniture Weapon) | Mid-level-ontology.kif 4156-4156 | Furniture と 武器 は disjoint では |
(subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 810-810 | AntiArmorWeapon は 武器 の subclass では |
(subclass Bomb Weapon) | Mid-level-ontology.kif 23465-23465 | Bomb は 武器 の subclass では |
(subclass Gun Weapon) | Mid-level-ontology.kif 1226-1226 | Gun は 武器 の subclass では |
(subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | HighPrecisionWeapon は 武器 の subclass では |
(subclass LandMine Weapon) | Mid-level-ontology.kif 19408-19408 | LandMine は 武器 の subclass では |
(subclass Mortar Weapon) | Mid-level-ontology.kif 23698-23698 | Mortar は 武器 の subclass では |
(subclass NuclearWeapon Weapon) | WMD.kif 131-131 | NuclearWeapon は 武器 の subclass では |
(subclass Projectile Weapon) | Mid-level-ontology.kif 1106-1106 | Projectile は 武器 の subclass では |
(subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1197-1197 | ProjectileLauncher は 武器 の subclass では |
(subclass Spear Weapon) | Mid-level-ontology.kif 1213-1213 | Spear は 武器 の subclass では |
(subclass Sword Weapon) | Mid-level-ontology.kif 1217-1217 | Sword は 武器 の subclass では |
(subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1666-1666 | WeaponOfMassDestruction は 武器 の subclass では |
(subclass Whip Weapon) | Mid-level-ontology.kif 1221-1221 | Whip は 武器 の subclass では |
(termFormat ChineseLanguage Weapon "武器") | chinese_format.kif 1059-1059 | Whip は 武器 の subclass では |
(termFormat EnglishLanguage Weapon "weapon") | english_format.kif 1329-1329 | Whip は 武器 の subclass では |
(termFormat FrenchLanguage Weapon "arme") | french_format.kif 737-737 | Whip は 武器 の subclass では |
(termFormat Hindi Weapon "hathiyaara") | terms-hindi.txt 268-268 | Whip は 武器 の subclass では |
(termFormat ItalianLanguage Weapon "Arma") | terms-it.txt 271-271 | Whip は 武器 の subclass では |
(termFormat JapaneseLanguage Weapon "武器") | japanese_format.kif 2421-2421 | Whip は 武器 の subclass では |
(termFormat PortugueseLanguage Weapon "Arma") | portuguese_format.kif 689-689 | Whip は 武器 の subclass では |
(termFormat cb Weapon "hinagiban") | terms-cb.txt 273-273 | Whip は 武器 の subclass では |
(termFormat cz Weapon "weapon") | terms-cz.txt 307-307 | Whip は 武器 の subclass では |
(termFormat de Weapon "Waffe") | terms-de.txt 566-566 | Whip は 武器 の subclass では |
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 | weaponCarryingCapability の数値 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 16189-16191 | |
(=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 16193-16200 |
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 1512-1518 | |
(=> (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 ?P MilitaryPlatform) (hasPurpose ?P (exists (?C ?W) (and (instance ?C Carrying) (instrument ?C ?P) (objectTransferred ?S ?W) (instance ?W Weapon))))) |
Military.kif 130-138 | |
(=> (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 1689-1709 | |
(=> (target ?A ?O) (exists (?W ?P) (and (instance ?W Weapon) (instrument ?A ?W) (instance ?P Projectile) (patient ?A ?P) (destination ?A ?O)))) |
MilitaryProcesses.kif 2792-2800 |
![]() |
![]() |