TreeView Knowledge Base Browser - HotelUnit

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	If oversized is an attribute of an object and the object is an immediate instance of a class and the class is a subclass of hotel unit, then there exist a physical, a real number,, , another real number and an unit of measure such that the physical is an immediate instance of the class and the unit of measure is an instance of UnitOfArea and the measure of the physical is the real number the unit of measure(s) and the measure of the object is the other real number the unit of measure(s) and the real number is an instance of area measure and the other real number is an instance of area measure and the other real number is greater than the real number
(=> (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	If suite is an attribute of an object and the object is an instance of hotel unit, then there exist another object and a third object such that the other object is an instance of hotel room and the third object is an instance of hotel room and the other object is inside to the object and the third object is inside to the object and the other object is not equal to the third object
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 64-70	If a cognitive agent rents an object to another cognitive agent during a time interval and traveler accommodation is an attribute of the cognitive agent and the object is an instance of hotel unit, then the other cognitive agent is a guest at the cognitive agent holds during the time interval
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 91-96	If an object is an instance of hotel unit, then there exists a physical such that the physical is an instance of bed and the physical is located at the object
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 98-103	If an entity is an instance of hotel unit, then there exists an agent such that traveler accommodation is an attribute of the agent and the entity is an element of belongings of the agent
(=> (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	If a physical is an instance of hotel unit, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is not equal to the other entity and the physical is an element of belongings of the entity and the entity rents the physical to the other entity during the third entity

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelRoomAttribute)) (instance ?X HotelUnit))	Hotel.kif 956-960	If an attribute is an attribute of an object and the attribute is an instance of hotel room attribute, then the object is an instance of hotel unit
(=> (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	If traveler accommodation is an attribute of an agent and the agent is capable of doing service as a agent, then there exist a cognitive agent and an object such that the agent employs the cognitive agent and maid is an attribute of the cognitive agent and the object is an instance of hotel unit and the object is a part of belongings of the agent and the object is capable of doing service as a patient and the cognitive agent is capable of doing service as a service provider
(=> (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	If a cognitive agent is a customer of another cognitive agent and the cognitive agent employs a third cognitive agent and traveler accommodation is an attribute of the cognitive agent and porter is an attribute of the third cognitive agent and the other cognitive agent possesses an object and the object is an instance of travel container, then there exist another object and a process such that the other object is an instance of hotel unit and the process is an instance of carrying and the third cognitive agent is an agent of the process and the process ends up at the other object or the process originates at the other object
(=> (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	If traveler accommodation is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object rents the other entity to the entity during the third entity and the other entity is an instance of hotel unit and the other entity is an element of belongings of the object
(=> (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	If a process is an instance of room service, then there exist a cognitive agent, an entity,, , another cognitive agent,, , another process,, , another entity,, , a third process and an object such that the cognitive agent is a customer of the other cognitive agent and the cognitive agent is an agent of the process and the other process is an instance of requesting and the other cognitive agent is an agent of the other process and the other entity is a patient of the other process and the other entity expresses the entity and the entity is an instance of prepared food and the other cognitive agent is located at the object and the object is an instance of hotel unit and the third process is an instance of delivery service and the entity is a patient of the third process and the third process ends up at the object and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the third process
(=> (instance ?X RoomInventory) (memberType ?X HotelUnit))	Hotel.kif 138-140	If a collection is an instance of room inventory, then hotel unit is a member type of the collection

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