AAV - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AAV MilitaryVehicle)	MilitaryDevices.kif 1803-1803	Amphibious Assault Vehicle is a subclass of military vehicle
(subclass AAV AmphibiousVehicle)	MilitaryDevices.kif 1804-1804	Amphibious Assault Vehicle is a subclass of amphibious vehicle
(subclass AAV PassengerVehicle)	MilitaryDevices.kif 1805-1805	Amphibious Assault Vehicle is a subclass of passenger vehicle
(subclass AAV PoweredVehicle)	MilitaryDevices.kif 1806-1806	Amphibious Assault Vehicle is a subclass of powered vehicle
(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	Amphibious Assault Vehicle is a subclass of powered vehicle
(externalImage AAV "http://articulatesoftware.com/SUMOpictures/armed_services/ Marines/ AAV.png")	pictureList.kif 205-205	Amphibious Assault Vehicle is a subclass of powered vehicle

appearance as argument number 2

(termFormat EnglishLanguage AAV "Amphibious Assault Vehicle")

MilitaryDevices.kif 2239-2239

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	If X is an instance of Amphibious Assault Vehicle, then the length of X is 7.94 meter(s), the width of X is 3.27 meter(s), 22.8 ton mass(s) is a weight of X, the height of X is 3.26 meter(s), and 480.0 kilometer(s) is an effective range of X
(=> (instance ?AAV AAV) (and (weaponCarryingCapability ?AAV M2Browning 1) (weaponCarryingCapability ?AAV MK19 1)))	MilitaryDevices.kif 1835-1839	If X is an instance of Amphibious Assault Vehicle, then X can carry 1 weapons of type m2 browning. and X can carry 1 weapons of type Mk19.
(=> (instance ?AAV AAV) (personTransportCapability ?AAV 25))	MilitaryDevices.kif 1843-1845	If X is an instance of Amphibious Assault Vehicle, then 25 is a person transport capability of X
(=> (instance ?AAV AAV) (exists (?MG) (and (instance ?MG M2Browning) (part ?MG ?AAV))))	MilitaryDevices.kif 1849-1854	If X is an instance of Amphibious Assault Vehicle, then there exists Y such that Y is an instance of m2 browning and Y is a part of X
(=> (instance ?AAV AAV) (exists (?MG) (and (instance ?MG MK19) (part ?MG ?AAV))))	MilitaryDevices.kif 1858-1863	If X is an instance of Amphibious Assault Vehicle, then there exists Y such that Y is an instance of Mk19 and Y is a part of X

consequent

(=>
    (instance ?AAU AssaultAmphibianUnit)
    (exists (?AAV)
        (and
            (instance ?AAV AAV)
            (possesses ?AAU ?AAV))))

MilitaryPersons.kif 659-664

If X is an instance of assault amphibian unit, then there exists Y such that Y is an instance of Amphibious Assault Vehicle and X possesses Y

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: