Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  PredecessorFn
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AMEV MilitaryVehicle) | MilitaryDevices.kif 2281-2281 | M113A4 Armored Medical Evacuation Vehicle is a subclass of military vehicle |
| (subclass AMEV LandVehicle) | MilitaryDevices.kif 2282-2282 | M113A4 Armored Medical Evacuation Vehicle is a subclass of land vehicle |
| (subclass AMEV Ambulance) | MilitaryDevices.kif 2283-2283 | M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance |
| (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 2284-2289 | M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AMEV "AMEV") | MilitaryDevices.kif 2290-2290 | |
| (termFormat EnglishLanguage AMEV "M113A4 Armored Medical Evacuation Vehicle") | MilitaryDevices.kif 2291-2291 |
| antecedent |
|
|
| (=> (instance ?AV AMEV) (exists (?A) (and (instance ?A Armor) (part ?A ?AV)))) |
MilitaryDevices.kif 2293-2298 | If X is an instance of M113A4 Armored Medical Evacuation Vehicle, then there exists Y such that Y is an instance of armor and Y is a part of X |
|