|
|
   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 ist eine teilkategorie von RelationalAttribute |
| appearance as argument number 2 |
|
|
| (instance ClubLevel HotelLevelAttribute) | Hotel.kif 1256-1256 | ClubLevel ist ein fall von HotelLevelAttribute %n{nicht} |
| (instance ExclusiveFemaleLevel HotelLevelAttribute) | Hotel.kif 1238-1238 | ExclusiveFemaleLevel ist ein fall von HotelLevelAttribute %n{nicht} |
| (instance ExecutiveLevel HotelLevelAttribute) | Hotel.kif 1218-1218 | ExecutiveLevel ist ein fall von HotelLevelAttribute %n{nicht} |
| (termFormat EnglishLanguage HotelLevelAttribute "hotel level attribute") | domainEnglishFormat.kif 64992-64992 |
| 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 |
|
|
|
|