(subclass HousekeepingPolicy Policy) | Hotel.kif 2637-2637 | HousekeepingPolicy は Policy の subclass では %n |
(subclass DailyHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2649-2649 | DailyHousekeepingPolicy は HousekeepingPolicy の subclass では %n |
(subclass NoHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2676-2676 | NoHousekeepingPolicy は HousekeepingPolicy の subclass では %n |
(subclass WithHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2699-2699 | WithHousekeepingPolicy は HousekeepingPolicy の subclass では %n |