|
|
   HotelLevelAttribute
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HotelLevelAttribute EnglishLanguage "HotelLevelAttribute are attributes that describe certain BuildingLevels in a HotelBuilding") | Hotel.kif 1212-1213 | |
| (subclass HotelLevelAttribute RelationalAttribute) | Hotel.kif 1211-1211 | Hotel level attribute is a subclass of relational attribute |
| appearance as argument number 2 |
|
|
| (instance ClubLevel HotelLevelAttribute) | Hotel.kif 1264-1264 | Club level is an instance of hotel level attribute |
| (instance ExclusiveFemaleLevel HotelLevelAttribute) | Hotel.kif 1246-1246 | Female level is an instance of hotel level attribute |
| (instance ExecutiveLevel HotelLevelAttribute) | Hotel.kif 1226-1226 | Executive level is an instance of hotel level attribute |
| (termFormat EnglishLanguage HotelLevelAttribute "hotel level attribute") | domainEnglishFormat.kif 64985-64985 | Executive level is an instance of hotel level attribute |
| antecedent |
|
|
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1215-1224 |
|
|
|
|