(subclass SmokingPolicy Policy) | Hotel.kif 2484-2484 | SmokingPolicy è una sottoclasse di Policy |
(subclass NoSmokingPolicy SmokingPolicy) | Hotel.kif 2588-2588 | NoSmokingPolicy è una sottoclasse di SmokingPolicy |
(subclass SmokingAllowedPolicy SmokingPolicy) | Hotel.kif 2605-2605 | SmokingAllowedPolicy è una sottoclasse di SmokingPolicy |