(subclass PetPolicy Policy) | Hotel.kif 2507-2507 | PetPolicy è una sottoclasse di Policy |
(subclass PetsAllowedPolicy PetPolicy) | Hotel.kif 2556-2556 | PetsAllowedPolicy è una sottoclasse di PetPolicy |
(subclass NoPetsPolicy PetPolicy) | Hotel.kif 2572-2572 | NoPetsPolicy è una sottoclasse di PetPolicy |