HotelLevelAttribute
|
|
appearance as argument number 1 |
(documentation HotelLevelAttribute EnglishLanguage "HotelLevelAttribute are attributes that describe certain BuildingLevels in a HotelBuilding") | Hotel.kif 1204-1205 | |
(subclass HotelLevelAttribute RelationalAttribute) | Hotel.kif 1203-1203 | HotelLevelAttribute est une sous-classe de attribut relationnel |
appearance as argument number 2 |
(instance ClubLevel HotelLevelAttribute) | Hotel.kif 1256-1256 | ClubLevel est une instance de HotelLevelAttribute |
(instance ExclusiveFemaleLevel HotelLevelAttribute) | Hotel.kif 1238-1238 | ExclusiveFemaleLevel est une instance de HotelLevelAttribute |
(instance ExecutiveLevel HotelLevelAttribute) | Hotel.kif 1218-1218 | ExecutiveLevel est une instance de HotelLevelAttribute |
(termFormat EnglishLanguage HotelLevelAttribute "hotel level attribute") | domainEnglishFormat.kif 64994-64994 |
antecedent |
(=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1207-1216 |