HotelBuilding - Sigma Knowledge base Browser

appearance as argument number 1

(documentation HotelBuilding EnglishLanguage "A ResidentialBuilding which provides temporary accommodations to guests in exchange for money.")	Hotel.kif 78-79
(subclass HotelBuilding ResidentialBuilding)	Hotel.kif 77-77	Hotel is a subclass of residential building

appearance as argument number 2

(termFormat EnglishLanguage HotelBuilding "hotel")

Hotel.kif 80-80

antecedent

(=>
    (instance ?HOTEL HotelBuilding)
    (exists (?ROOM)
        (and
            (instance ?ROOM HotelRoom)
            (properPart ?ROOM ?HOTEL))))

Hotel.kif 82-87

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG)))))	Hotel.kif 1215-1224	If an attribute is an attribute of an object and the attribute is an instance of hotel level attribute, then the object is an instance of building level and there exists another object such that the other object is an instance of hotel and the object is a part of the other object
(=> (instance ?ROOM HotelRoom) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?ROOM ?BLDG))))	Hotel.kif 125-130	If an object is an instance of hotel room, then there exists another object such that the other object is an instance of hotel and the object is a part of the other object