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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 AMEV ist eine teilkategorie von Ambulance
(subclass AMEV LandVehicle) MilitaryDevices.kif 2129-2129 AMEV ist eine teilkategorie von LandVehicle
(subclass AMEV MilitaryVehicle) MilitaryDevices.kif 2128-2128 AMEV ist eine teilkategorie von MilitaryVehicle

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 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