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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HotelUnit

Sigma KEE - HotelUnit
HotelUnit(hotel unit)

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 Hotel unit is a subclass of stationary artifact
(subclass HotelUnit TemporaryResidence) Hotel.kif 85-85 Hotel unit is a subclass of temporary residence

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


(subclass HotelRoom HotelUnit) Hotel.kif 115-115 Hotel room is a subclass of hotel unit
(subclass HotelVilla HotelUnit) Hotel.kif 128-128 Hotel villa is a subclass of hotel unit
(termFormat EnglishLanguage HotelUnit "hotel unit") Hotel.kif 89-89

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


(domainSubclass reservedRoom 2 HotelUnit) Hotel.kif 2918-2918 The number 2 argument of reserved room is a subclass of hotel unit
(domainSubclass roomAmenity 1 HotelUnit) Hotel.kif 273-273 The number 1 argument of room amenity is a subclass of hotel unit
(domainSubclass roomAttribute 1 HotelUnit) Hotel.kif 440-440 The number 1 argument of room attribute is a subclass of hotel unit
(domainSubclass roomPolicy 1 HotelUnit) Hotel.kif 425-425 The number 1 argument of room policy is a subclass of hotel unit
(domainSubclass roomStay 3 HotelUnit) Hotel.kif 2712-2712 The number 3 argument of room stay is a subclass of hotel unit

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 1164-1179
(=>
    (and
        (attribute ?X Suite)
        (instance ?X HotelUnit))
    (exists (?R1 ?R2)
        (and
            (instance ?R1 HotelRoom)
            (instance ?R2 HotelRoom)
            (orientation ?R1 ?X Inside)
            (orientation ?R2 ?X Inside)
            (not
                (equal ?R1 ?R2)))))
Hotel.kif 981-992
(=>
    (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 1910-1921
(=>
    (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 2365-2380
(=>
    (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 1944-1962
(=>
    (instance ?X RoomInventory)
    (memberType ?X HotelUnit))
Hotel.kif 138-140


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

Show without tree


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