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 16096-16098 | |
(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 16095-16095 | Arma è una sottoclasse di Dispositivo |
appearance as argument number 2 |
(disjoint Furniture Weapon) | Mid-level-ontology.kif 3706-3706 | Furniture è disgiunto da Arma |
(subclass AntiArmorWeapon Weapon) | MilitaryDevices.kif 653-653 | AntiArmorWeapon è una sottoclasse di Arma |
(subclass Bomb Weapon) | Mid-level-ontology.kif 21875-21875 | Bomb è una sottoclasse di Arma |
(subclass ExplosiveMine Weapon) | Mid-level-ontology.kif 17884-17884 | ExplosiveMine è una sottoclasse di Arma |
(subclass Gun Weapon) | Mid-level-ontology.kif 1153-1153 | Gun è una sottoclasse di Arma |
(subclass HighPrecisionWeapon Weapon) | MilitaryProcesses.kif 632-632 | HighPrecisionWeapon è una sottoclasse di Arma |
(subclass Mortar Weapon) | Mid-level-ontology.kif 22107-22107 | Mortar è una sottoclasse di Arma |
(subclass NuclearWeapon Weapon) | WMD.kif 131-131 | NuclearWeapon è una sottoclasse di Arma |
(subclass Projectile Weapon) | Mid-level-ontology.kif 1106-1106 | Projectile è una sottoclasse di Arma |
(subclass ProjectileLauncher Weapon) | Mid-level-ontology.kif 1124-1124 | ProjectileLauncher è una sottoclasse di Arma |
(subclass Spear Weapon) | Mid-level-ontology.kif 1140-1140 | Spear è una sottoclasse di Arma |
(subclass Sword Weapon) | Mid-level-ontology.kif 1144-1144 | Sword è una sottoclasse di Arma |
(subclass WeaponOfMassDestruction Weapon) | Mid-level-ontology.kif 1442-1442 | WeaponOfMassDestruction è una sottoclasse di Arma |
(subclass Whip Weapon) | Mid-level-ontology.kif 1148-1148 | Whip è una sottoclasse di Arma |
(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 | Il numero 2 argomento weaponCarryingCapability è una sottoclasse diArma |
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 16100-16102 |
|
(=> (instance ?WEAPON Weapon) (hasPurpose ?WEAPON (exists (?D ?PATIENT) (and (instance ?D Damaging) (instrument ?D ?WEAPON) (patient ?D ?PATIENT))))) |
Merge.kif 16104-16111 |
|
consequent |