HotelUnit
|
|
appearance as argument number 1 |
(documentation HotelUnit EnglishLanguage "HotelUnit describes the basic unit that a traveler sleeps in when he is in TravelerAccomodation. It can be a Room or a detached Building") | Hotel.kif 91-93 | |
(subclass HotelUnit StationaryArtifact) | Hotel.kif 89-89 | HotelUnit è una sottoclasse di ManufattoStatico |
(subclass HotelUnit TemporaryResidence) | Hotel.kif 90-90 | HotelUnit è una sottoclasse di TemporaryResidence |
appearance as argument number 2 |
(subclass HotelRoom HotelUnit) | Hotel.kif 120-120 | HotelRoom è una sottoclasse di HotelUnit |
(subclass HotelVilla HotelUnit) | Hotel.kif 133-133 | HotelVilla è una sottoclasse di HotelUnit |
(termFormat EnglishLanguage HotelUnit "hotel unit") | Hotel.kif 94-94 |
appearance as argument number 3 |
(domainSubclass freeRoomAmenity 1 HotelUnit) | Hotel.kif 336-336 | Il numero 1 argomento freeRoomAmenity è una sottoclasse diHotelUnit |
(domainSubclass paidRoomAmenity 1 HotelUnit) | Hotel.kif 382-382 | Il numero 1 argomento paidRoomAmenity è una sottoclasse diHotelUnit |
(domainSubclass reservedRoom 2 HotelUnit) | Hotel.kif 2949-2949 | Il numero 2 argomento reservedRoom è una sottoclasse diHotelUnit |
(domainSubclass roomAmenity 1 HotelUnit) | Hotel.kif 278-278 | Il numero 1 argomento roomAmenity è una sottoclasse diHotelUnit |
(domainSubclass roomAttribute 1 HotelUnit) | Hotel.kif 460-460 | Il numero 1 argomento roomAttribute è una sottoclasse diHotelUnit |
(domainSubclass roomPolicy 1 HotelUnit) | Hotel.kif 445-445 | Il numero 1 argomento roomPolicy è una sottoclasse diHotelUnit |
(domainSubclass roomStay 3 HotelUnit) | Hotel.kif 2739-2739 | Il numero 3 argomento roomStay è una sottoclasse diHotelUnit |
antecedent |
consequent |