(subclass PetPolicy Policy) | Hotel.kif 2507-2507 | PetPolicy est une sous-classe de Policy |
(subclass PetsAllowedPolicy PetPolicy) | Hotel.kif 2556-2556 | PetsAllowedPolicy est une sous-classe de PetPolicy |
(subclass NoPetsPolicy PetPolicy) | Hotel.kif 2572-2572 | NoPetsPolicy est une sous-classe de PetPolicy |