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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AMEV

Sigma KEE - AMEV
AMEV

appearance as argument number 1
-------------------------


(documentation AMEV EnglishLanguage "The M113A4 Armored Medical Evacuation Vehicle (AMEV) is a U.S. Army variant of a M113 armoured personnel carrier (APC) made by United Defense (now part of BAE Systems) modified to function as a battlefield emergency medical evacuation (medevac) vehicle. It replaced the M113A3 Armoured Ambulance in U.S. military service and is designed to operate in conjunction with the M577A4 Armored Treatment Vehicle. [from Wikipedia]") MilitaryDevices.kif 2131-2136
(subclass AMEV Ambulance) MilitaryDevices.kif 2130-2130
(subclass AMEV LandVehicle) MilitaryDevices.kif 2129-2129
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2128-2128

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


(termFormat EnglishLanguage AMEV "AMEV") MilitaryDevices.kif 2137-2137
(termFormat EnglishLanguage AMEV "M113A4 Armored Medical Evacuation Vehicle") MilitaryDevices.kif 2138-2138

antecedent
-------------------------


(=>
    (instance ?AV AMEV)
    (exists (?A)
        (and
            (instance ?A Armor)
            (part ?A ?AV))))
MilitaryDevices.kif 2140-2145


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

Show without tree


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