(subclass EmergencyVehicle PoweredVehicle) | Transportation.kif 1887-1887 | Emergency vehicle is a subclass of powered vehicle |
(subclass EmergencyRoadVehicle EmergencyVehicle) | Transportation.kif 1891-1891 | Emergency road vehicle is a subclass of emergency vehicle |