|
|
   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 14905-14907 | |
| (externalImage Weapon "http://upload.wikimedia.org/wikipedia/en/thumb/8/ 8e/ Marlin1894C.jpg/ 250px-Marlin1894C.jpg") | pictureList.kif 1304-1304 | |
| (subclass Weapon Device) | Merge.kif 14904-14904 |
| appearance as argument number 2 |
|
|
| (disjoint Furniture Weapon) | Mid-level-ontology.kif 3646-3646 | |
| (subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | |
| (subclass Bomb Weapon) | Mid-level-ontology.kif 18296-18296 | |
| (subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 14437-14437 | |
| (subclass Gun Weapon) | Mid-level-ontology.kif 1098-1098 | |
| (subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | |
| (subclass Mortar Weapon) | Mid-level-ontology.kif 18526-18526 | |
| (subclass NuclearWeapon Weapon) | WMD.kif 130-130 | |
| (subclass Projectile Weapon) | Mid-level-ontology.kif 1051-1051 | |
| (subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1069-1069 | |
| (subclass Spear Weapon) | Mid-level-ontology.kif 1085-1085 | |
| (subclass Sword Weapon) | Mid-level-ontology.kif 1089-1089 | |
| (subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1386-1386 | |
| (subclass Whip Weapon) | Mid-level-ontology.kif 1093-1093 | |
| (termFormat ChineseLanguage Weapon "武器") | chinese_format.kif 1059-1059 | |
| (termFormat EnglishLanguage Weapon "weapon") | english_format.kif 1334-1334 |
| appearance as argument number 3 |
|
|
| (domainSubclass weaponCarryingCapability 2 Weapon) | MilitaryDevices.kif 24-24 |
| 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 14909-14911 | |
| (=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 14913-14920 |
| 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 702-713 | |
| (=> (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 1409-1429 |
|
|
|
