HotelLevelAttribute - Sigma Knowledge base Browser

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