HotelVilla |
appearance as argument number 1 |
(documentation HotelVilla EnglishLanguage "HotelVilla refers to a Building that is completely detached from the main HotelBuilding") | Hotel.kif 134-135 | |
(subclass HotelVilla Building) | Hotel.kif 132-132 | |
(subclass HotelVilla HotelUnit) | Hotel.kif 133-133 |
appearance as argument number 2 |
(termFormat EnglishLanguage HotelVilla "hotel villa") | Hotel.kif 136-136 |