Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AAV
AAV(AA v)
AA_v, Amphibious_Assault_Vehicle

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 1649-1657
(externalImage AAV "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ Marines/ AAV.png") pictureList.kif 205-205 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ armed_services/ Marines/ AAV.png" is a URL depicting AA v
(subclass AAV AmphibiousVehicle) MilitaryDevices.kif 1646-1646 AA v is a subclass of amphibious vehicle
(subclass AAV MilitaryVehicle) MilitaryDevices.kif 1645-1645 AA v is a subclass of military vehicle
(subclass AAV PassengerVehicle) MilitaryDevices.kif 1647-1647 AA v is a subclass of passenger vehicle
(subclass AAV PoweredVehicle) MilitaryDevices.kif 1648-1648 AA v is a subclass of powered vehicle

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AAV "AA v") domainEnglishFormat.kif 1271-1271 "AA v" is the printable form of AA v in english language
(termFormat EnglishLanguage AAV "Amphibious Assault Vehicle") MilitaryDevices.kif 2085-2085 "Amphibious Assault Vehicle" is the printable form of AA v in english language

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 Kilometer))))
MilitaryDevices.kif 1661-1673
(=>
    (instance ?AAV AAV)
    (and
        (weaponCarryingCapability ?AAV M2Browning 1)
        (weaponCarryingCapability ?AAV MK19 1)))
MilitaryDevices.kif 1677-1681
(=>
    (instance ?AAV AAV)
    (exists (?MG)
        (and
            (instance ?MG M2Browning)
            (part ?MG ?AAV))))
MilitaryDevices.kif 1691-1696
(=>
    (instance ?AAV AAV)
    (exists (?MG)
        (and
            (instance ?MG MK19)
            (part ?MG ?AAV))))
MilitaryDevices.kif 1700-1705
(=>
    (instance ?AAV AAV)
    (personTransportCapability ?AAV 25))
MilitaryDevices.kif 1685-1687

consequent
-------------------------


(=>
    (instance ?AAU AssaultAmphibianUnit)
    (exists (?AAV)
        (and
            (instance ?AAV AAV)
            (possesses ?AAU ?AAV))))
MilitaryPersons.kif 644-649


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners