| AirAttackMissile(air attack missile)
|
| appearance as argument number 1 |
|
| (subclass AirAttackMissile Missile) | MilitaryDevices.kif 1126-1126 | Air attack missile is a subclass of missile |
| (documentation AirAttackMissile EnglishLanguage "A missile that attacks targets in the air.") | MilitaryDevices.kif 1128-1129 | Air attack missile is a subclass of missile |
| (externalImage AirAttackMissile "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ 288a_SA-6-GAINFUL.jpg") | pictureList.kif 4482-4482 | Air attack missile is a subclass of missile |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?M AirAttackMissile) (hasPurpose ?M (exists (?OBJ ?REGION ?DAMAGE) (and (instrument ?DAMAGE ?M) (patient ?DAMAGE ?OBJ) (instance ?DAMAGE Damaging) (instance ?REGION AtmosphericRegion) (holdsDuring (BeginFn (WhenFn ?DAMAGE)) (and (located ?M ?REGION) (located ?OBJ ?REGION))))))) |
MilitaryDevices.kif 1133-1147 | If X is an instance of air attack missile, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that X is an instrument for W (3) Y is a patient of W (4) W is an instance of damaging (5) Z is an instance of atmospheric region (6) X is located at Z (7) Y is located at Z holds during the beginning of the time of existence of W |
|
|
|