| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1903-1903 | Ambulance is a subclass of emergency road vehicle |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2130-2130 | M113A4 Armored Medical Evacuation Vehicle is a subclass of ambulance |
|
|