| Armor(armor)
| | armor, armour, body_armor, body_armour, cataphract, coat_of_mail, suit_of_armor, suit_of_armour |
| appearance as argument number 1 |
|
|
| (subclass Armor Artifact) | MilitaryDevices.kif 1766-1766 | Armor is a subclass of artifact |
| (documentation Armor EnglishLanguage "Armor is protective clothing intended to defend its wearer from intentional harm in combat and military engagements, typically associated with soldiers. Armour has been used throughout recorded history, beginning with hides, leather, and bone, before progressing to bronze, then steel during the middle ages, to modern fabrics such as Kevlar, Dyneema and ceramics. (from Wikipedia)") | MilitaryDevices.kif 1767-1772 | Armor is a subclass of artifact |
| (externalImage Armor "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Modern_armor_suit.jpg") | pictureList.kif 1468-1468 | Armor is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (exists (?MAINTAINING) (and (instance ?MAINTAINING Maintaining) (instrument ?MAINTAINING ?A) (experiencer ?MAINTAINING ?OBJ))))) |
MilitaryDevices.kif 1776-1787 | If X is an instance of armor and X is a part of Y or X meets Y, then X has the purpose there exists Z such that Z is an instance of maintaining, X is an instrument for Z, and Y experiences Z |
| (=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ)))))) |
MilitaryDevices.kif 1789-1801 | If X is an instance of armor and X is a part of Y or X meets Y, then X has the purpose there doesn't exist Z such that Z is an instance of damaging, X is an instrument for Z, and Y experiences Z |
| consequent |
|
|
| (=> (instance ?W AntiArmorWeapon) (hasPurpose ?W (exists (?DAMAGING ?ARMOR) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?W) (patient ?DAMAGING ?ARMOR) (instance ?ARMOR Armor))))) |
MilitaryDevices.kif 816-824 | If X is an instance of anti armor weapon, then X has the purpose there exist Y, Z such that Y is an instance of damaging, X is an instrument for Y, Z is a patient of Y, and Z is an instance of armor |
| (=> (instance ?AV ArmoredVehicle) (exists (?A) (and (instance ?A Armor) (part ?A ?AV)))) |
MilitaryDevices.kif 1758-1763 | If X is an instance of armored vehicle, then there exists Y such that Y is an instance of armor and Y is a part of X |
| (=> (instance ?AV AMEV) (exists (?A) (and (instance ?A Armor) (part ?A ?AV)))) |
MilitaryDevices.kif 2297-2302 | If X is an instance of M113A4 Armored Medical Evacuation Vehicle, then there exists Y such that Y is an instance of armor and Y is a part of X |
|
|
|