(subclass EmergencyVehicle PoweredVehicle) | Transportation.kif 1887-1887 | EmergencyVehicle は PoweredVehicle の subclass では %n |
(subclass EmergencyRoadVehicle EmergencyVehicle) | Transportation.kif 1891-1891 | EmergencyRoadVehicle は EmergencyVehicle の subclass では %n |