Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HotelUnit
HotelUnit

appearance as argument number 1
-------------------------


(documentation HotelUnit EnglishLanguage "HotelUnit describes the basic unit that a traveler sleeps in when he is in TravelerAccomodation. It can be a Room or a detached Building") Hotel.kif 86-88
(subclass HotelUnit StationaryArtifact) Hotel.kif 84-84
(subclass HotelUnit TemporaryResidence) Hotel.kif 85-85

appearance as argument number 2
-------------------------


(subclass HotelRoom HotelUnit) Hotel.kif 115-115
(subclass HotelVilla HotelUnit) Hotel.kif 128-128
(termFormat EnglishLanguage HotelUnit "hotel unit") Hotel.kif 89-89

appearance as argument number 3
-------------------------


(domainSubclass reservedRoom 2 HotelUnit) Hotel.kif 2905-2905
(domainSubclass roomAmenity 1 HotelUnit) Hotel.kif 273-273
(domainSubclass roomAttribute 1 HotelUnit) Hotel.kif 440-440
(domainSubclass roomPolicy 1 HotelUnit) Hotel.kif 425-425
(domainSubclass roomStay 3 HotelUnit) Hotel.kif 2699-2699

antecedent
-------------------------


(=>
    (and
        (attribute ?ROOM Oversized)
        (immediateInstance ?ROOM ?HOTELUNIT)
        (subclass ?HOTELUNIT HotelUnit))
    (exists (?NORMAL ?AREA1 ?AREA2 ?U)
        (and
            (immediateInstance ?NORMAL ?HOTELUNIT)
            (instance ?U UnitOfArea)
            (measure ?NORMAL
                (MeasureFn ?AREA1 ?U))
            (measure ?ROOM
                (MeasureFn ?AREA2 ?U))
            (instance ?AREA1 AreaMeasure)
            (instance ?AREA2 AreaMeasure)
            (greaterThan ?AREA2 ?AREA1))))
Hotel.kif 1151-1166
(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))
Hotel.kif 64-70
(=>
    (instance ?ROOM HotelUnit)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))
Hotel.kif 91-96
(=>
    (instance ?ROOM HotelUnit)
    (exists (?HOTEL)
        (and
            (attribute ?HOTEL TravelerAccommodation)
            (element ?ROOM
                (PropertyFn ?HOTEL)))))
Hotel.kif 98-103
(=>
    (instance ?ROOM HotelUnit)
    (hasPurpose ?ROOM
        (exists (?AGENT ?CUST ?TI)
            (and
                (not
                    (equal ?AGENT ?CUST))
                (element ?ROOM
                    (PropertyFn ?AGENT))
                (rents ?CUST ?AGENT ?ROOM ?TI)))))
Hotel.kif 105-112

consequent
-------------------------


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelRoomAttribute))
    (instance ?X HotelUnit))
Hotel.kif 956-960
(=>
    (and
        (attribute ?X TravelerAccommodation)
        (capability RoomCleaningService agent ?X))
    (exists (?MAID ?HOTELROOM)
        (and
            (employs ?X ?MAID)
            (attribute ?MAID Maid)
            (instance ?HOTELROOM HotelUnit)
            (part ?HOTELROOM
                (PropertyFn ?X))
            (capability RoomCleaningService patient ?HOTELROOM)
            (capability RoomCleaningService serviceProvider ?MAID))))
Hotel.kif 1897-1908
(=>
    (and
        (customer ?CUST ?AGENT)
        (employs ?AGENT ?X)
        (attribute ?AGENT TravelerAccommodation)
        (attribute ?X Porter)
        (possesses ?CUST ?LUGGAGE)
        (instance ?LUGGAGE TravelContainer))
    (exists (?ROOM ?CARRY)
        (and
            (instance ?ROOM HotelUnit)
            (instance ?CARRY Carrying)
            (agent ?CARRY ?X)
            (or
                (destination ?CARRY ?ROOM)
                (origin ?CARRY ?ROOM)))))
Hotel.kif 2352-2367
(=>
    (attribute ?X TravelerAccommodation)
    (hasPurpose ?X
        (exists (?GUEST ?ROOM ?TI)
            (and
                (rents ?GUEST ?X ?ROOM ?TI)
                (instance ?ROOM HotelUnit)
                (element ?ROOM
                    (PropertyFn ?X))))))
Hotel.kif 45-52
(=>
    (instance ?SVC RoomService)
    (exists (?AGENT ?FOOD ?CUSTOMER ?RQST ?ORDER ?DELIVERY ?LOC)
        (and
            (customer ?CUSTOMER ?AGENT)
            (agent ?SVC ?AGENT)
            (instance ?RQST Requesting)
            (agent ?RQST ?CUSTOMER)
            (patient ?RQST ?ORDER)
            (represents ?ORDER ?FOOD)
            (instance ?FOOD PreparedFood)
            (located ?CUSTOMER ?LOC)
            (instance ?LOC HotelUnit)
            (instance ?DELIVERY DeliveryService)
            (patient ?DELIVERY ?FOOD)
            (destination ?DELIVERY ?LOC)
            (before
                (BeginFn
                    (WhenFn ?RQST))
                (BeginFn
                    (WhenFn ?DELIVERY))))))
Hotel.kif 1931-1949
(=>
    (instance ?X RoomInventory)
    (memberType ?X HotelUnit))
Hotel.kif 138-140


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners