AAV - Sigma Knowledge base Browser

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

appearance as argument number 2

(termFormat EnglishLanguage AAV "Amphibious Assault Vehicle")

MilitaryDevices.kif 2086-2086

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 1662-1674	If a self connected object is an instance of Amphibious Assault Vehicle, then the length of the self connected object is 7.94 meter(s) and the width of the self connected object is 3.27 meter(s) and 22.8 ton mass(s) is a weight of the self connected object and the height of the self connected object is 3.26 meter(s) and 480.0 kilometer(s) is an effective range of the self connected object
(=> (instance ?AAV AAV) (and (weaponCarryingCapability ?AAV M2Browning 1) (weaponCarryingCapability ?AAV MK19 1)))	MilitaryDevices.kif 1678-1682	If a military vehicle is an instance of Amphibious Assault Vehicle, then the military vehicle can carry 1 weapons of type m2 browning. and the military vehicle can carry 1 weapons of type Mk19.
(=> (instance ?AAV AAV) (exists (?MG) (and (instance ?MG M2Browning) (part ?MG ?AAV))))	MilitaryDevices.kif 1692-1697	If an object is an instance of Amphibious Assault Vehicle, then there exists another object such that the other object is an instance of m2 browning and the other object is a part of the object
(=> (instance ?AAV AAV) (exists (?MG) (and (instance ?MG MK19) (part ?MG ?AAV))))	MilitaryDevices.kif 1701-1706	If an object is an instance of Amphibious Assault Vehicle, then there exists another object such that the other object is an instance of Mk19 and the other object is a part of the object
(=> (instance ?AAV AAV) (personTransportCapability ?AAV 25))	MilitaryDevices.kif 1686-1688	If a passenger vehicle is an instance of Amphibious Assault Vehicle, then 25 is a person transport capability of the passenger vehicle

consequent

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

MilitaryPersons.kif 642-647

If an agent is an instance of assault amphibian unit,
then there exists an object such that the object is an instance of Amphibious Assault Vehicle and the agent possesses the object

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: