(subclass SmokingPolicy Policy) | Hotel.kif 2484-2484 | SmokingPolicy 是 Policy 的 subclass |
(subclass NoSmokingPolicy SmokingPolicy) | Hotel.kif 2588-2588 | NoSmokingPolicy 是 SmokingPolicy 的 subclass |
(subclass SmokingAllowedPolicy SmokingPolicy) | Hotel.kif 2605-2605 | SmokingAllowedPolicy 是 SmokingPolicy 的 subclass |