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

Formal Language: 

KB Term:  Term intersection
English Word: 

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


    (instance ?AV AMEV)
    (exists (?A)
            (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