| AAV
|
| appearance as argument number 1 |
|
| (documentation AAV EnglishLanguage "The Amphibious Assault Vehicle (AAV) (official designation AAV-7A1 (formerly known as LVT-7)) is the current amphibious troop transport of the United States Marine Corps and is also operated by other forces. The AAV-7A1 is a fully tracked amphibious landing vehicle manufactured by FMC Corporation. It is used by USMC Amphibious Assault Battalions to land the surface assault elements of the landing force and their equipment in a single lift from assault shipping during amphibious operations to inland objectives and to conduct mechanized operations and related combat support in subsequent mechanized operations ashore.") | MilitaryDevices.kif 1807-1815 | |
| (externalImage AAV "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ AAV.png") | pictureList.kif 205-205 | |
| (subclass AAV AmphibiousVehicle) | MilitaryDevices.kif 1804-1804 | AAV は AmphibiousVehicle の subclass では |
| (subclass AAV MilitaryVehicle) | MilitaryDevices.kif 1803-1803 | AAV は MilitaryVehicle の subclass では |
| (subclass AAV PassengerVehicle) | MilitaryDevices.kif 1805-1805 | AAV は PassengerVehicle の subclass では |
| (subclass AAV PoweredVehicle) | MilitaryDevices.kif 1806-1806 | AAV は PoweredVehicle の subclass では |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AAV "Amphibious Assault Vehicle") | MilitaryDevices.kif 2243-2243 |
| antecedent |
|
|
| (=> (instance ?AAV AAV) (and (length ?AAV (MeasureFn 7.94 Meter)) (width ?AAV (MeasureFn 3.27 Meter)) (weight ?AAV (MeasureFn 22.8 TonMass)) (height ?AAV (MeasureFn 3.26 Meter)) (effectiveRange ?AAV (MeasureFn 480.0 Kilometer)))) |
MilitaryDevices.kif 1819-1831 |
|
| (=> (instance ?AAV AAV) (and (weaponCarryingCapability ?AAV M2Browning 1) (weaponCarryingCapability ?AAV MK19 1))) |
MilitaryDevices.kif 1835-1839 | |
| (=> (instance ?AAV AAV) (exists (?MG) (and (instance ?MG M2Browning) (part ?MG ?AAV)))) |
MilitaryDevices.kif 1849-1854 | |
| (=> (instance ?AAV AAV) (exists (?MG) (and (instance ?MG MK19) (part ?MG ?AAV)))) |
MilitaryDevices.kif 1858-1863 | |
| (=> (instance ?AAV AAV) (personTransportCapability ?AAV 25)) |
MilitaryDevices.kif 1843-1845 |
|
| consequent |
|
|
| (=> (instance ?AAU AssaultAmphibianUnit) (exists (?AAV) (and (instance ?AAV AAV) (possesses ?AAU ?AAV)))) |
MilitaryPersons.kif 656-661 |
|
|
|
|