HotelLevelAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(subclass HotelLevelAttribute RelationalAttribute)	Hotel.kif 1211-1211	Hotel level attribute is a subclass of relational attribute
(documentation HotelLevelAttribute EnglishLanguage "HotelLevelAttribute are attributes that describe certain BuildingLevels in a HotelBuilding")	Hotel.kif 1212-1213	Hotel level attribute is a subclass of relational attribute

appearance as argument number 2

(instance ExecutiveLevel HotelLevelAttribute)	Hotel.kif 1226-1226	Executive 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 ClubLevel HotelLevelAttribute)	Hotel.kif 1264-1264	Club level is an instance of hotel level attribute
(termFormat EnglishLanguage HotelLevelAttribute "hotel level attribute")	domainEnglishFormat.kif 64995-64995	Club 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)))))

If X is an attribute of Y and X is an instance of hotel level attribute, then Y is an instance of building level and there exists Z such that Z is an instance of hotel and Y is a part of Z