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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HotelUnit

 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 91-93
(subclass HotelUnit StationaryArtifact) Hotel.kif 89-89 HotelUnit è una sottoclasse di ManufattoStatico
(subclass HotelUnit TemporaryResidence) Hotel.kif 90-90 HotelUnit è una sottoclasse di TemporaryResidence

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


(subclass HotelRoom HotelUnit) Hotel.kif 120-120 HotelRoom è una sottoclasse di HotelUnit
(subclass HotelVilla HotelUnit) Hotel.kif 133-133 HotelVilla è una sottoclasse di HotelUnit
(termFormat EnglishLanguage HotelUnit "hotel unit") Hotel.kif 94-94

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


(domainSubclass freeRoomAmenity 1 HotelUnit) Hotel.kif 336-336 Il numero 1 argomento freeRoomAmenity è una sottoclasse diHotelUnit
(domainSubclass paidRoomAmenity 1 HotelUnit) Hotel.kif 382-382 Il numero 1 argomento paidRoomAmenity è una sottoclasse diHotelUnit
(domainSubclass reservedRoom 2 HotelUnit) Hotel.kif 2949-2949 Il numero 2 argomento reservedRoom è una sottoclasse diHotelUnit
(domainSubclass roomAmenity 1 HotelUnit) Hotel.kif 278-278 Il numero 1 argomento roomAmenity è una sottoclasse diHotelUnit
(domainSubclass roomAttribute 1 HotelUnit) Hotel.kif 460-460 Il numero 1 argomento roomAttribute è una sottoclasse diHotelUnit
(domainSubclass roomPolicy 1 HotelUnit) Hotel.kif 445-445 Il numero 1 argomento roomPolicy è una sottoclasse diHotelUnit
(domainSubclass roomStay 3 HotelUnit) Hotel.kif 2739-2739 Il numero 3 argomento roomStay è una sottoclasse diHotelUnit

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 1186-1201
(=>
    (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 1003-1014
(=>
    (and
        (rents ?GUEST ?HOTEL ?ROOM ?TI)
        (attribute ?HOTEL TravelerAccommodation)
        (instance ?ROOM HotelUnit))
    (holdsDuring ?TI
        (guest ?GUEST ?HOTEL)))		 Hotel.kif 69-75
(=>
    (instance ?ROOM HotelUnit)
    (exists (?BED)
        (and
            (instance ?BED Bed)
            (located ?BED ?ROOM))))		 Hotel.kif 96-101
(=>
    (instance ?ROOM HotelUnit)
    (exists (?HOTEL)
        (and
            (attribute ?HOTEL TravelerAccommodation)
            (element ?ROOM
                (PropertyFn ?HOTEL)))))		 Hotel.kif 103-108
(=>
    (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 110-117

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


(=>
    (and
        (attribute ?X ?Y)
        (instance ?Y HotelRoomAttribute))
    (instance ?X HotelUnit))		 Hotel.kif 978-982
(=>
    (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 1935-1946
(=>
    (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 2392-2407
(=>
    (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 1969-1987
(=>
    (instance ?X RoomInventory)
    (memberType ?X HotelUnit))		 Hotel.kif 143-145


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