(subclass ShuttleService TransportationService) | Hotel.kif 2029-2029 | ShuttleService は TransportationService の subclass では %n |
(subclass AirportShuttleService ShuttleService) | Hotel.kif 2066-2066 | AirportShuttleService は ShuttleService の subclass では %n |