HotelUnit - Sigma Knowledge base Browser

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 91-93
(subclass HotelUnit StationaryArtifact)	Hotel.kif 89-89	HotelUnit is a subclass of stationary artifact
(subclass HotelUnit TemporaryResidence)	Hotel.kif 90-90	HotelUnit is a subclass of TemporaryResidence

appearance as argument number 2

(subclass HotelRoom HotelUnit)	Hotel.kif 120-120	HotelRoom is a subclass of HotelUnit
(subclass HotelVilla HotelUnit)	Hotel.kif 133-133	HotelVilla is a subclass of HotelUnit
(termFormat EnglishLanguage HotelUnit "hotel unit")	Hotel.kif 94-94	HotelVilla is a subclass of HotelUnit

appearance as argument number 3

(domainSubclass freeRoomAmenity 1 HotelUnit)	Hotel.kif 336-336	The number 1 argument of freeRoomAmenity is a subclass of HotelUnit
(domainSubclass paidRoomAmenity 1 HotelUnit)	Hotel.kif 382-382	The number 1 argument of paidRoomAmenity is a subclass of HotelUnit
(domainSubclass reservedRoom 2 HotelUnit)	Hotel.kif 2960-2960	The number 2 argument of reservedRoom is a subclass of HotelUnit
(domainSubclass roomAmenity 1 HotelUnit)	Hotel.kif 278-278	The number 1 argument of roomAmenity is a subclass of HotelUnit
(domainSubclass roomAttribute 1 HotelUnit)	Hotel.kif 460-460	The number 1 argument of roomAttribute is a subclass of HotelUnit
(domainSubclass roomPolicy 1 HotelUnit)	Hotel.kif 445-445	The number 1 argument of roomPolicy is a subclass of HotelUnit
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2750-2750	The number 3 argument of roomStay is a subclass of HotelUnit

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 1194-1209	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 HotelUnit, 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 1011-1022	If Suite is an attribute of an object and the object is an instance of HotelUnit, then there exist another object and a third object such that the other object is an instance of HotelRoom and the third object is an instance of HotelRoom and the other object is Inside to the object and the third object is Inside to the object and equal the other object and the third object
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 69-75	If rents an agent, another agent, an object and a time interval and TravelerAccommodation is an attribute of the other agent and the object is an instance of HotelUnit, then guest the agent and the other agent holds during the time interval
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM))))	Hotel.kif 96-101	If an object is an instance of HotelUnit, 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 103-108	If an entity is an instance of HotelUnit, then there exists an agent such that TravelerAccommodation 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 110-117	If a physical is an instance of HotelUnit, then the physical has the purpose there exist an entity, another entity and a third entity such that equal the entity and the other entity and the physical is an element of belongings of the entity and rents the other entity, the entity, the physical and the third entity

consequent

(=> (and (attribute ?X ?Y) (instance ?Y HotelRoomAttribute)) (instance ?X HotelUnit))	Hotel.kif 986-990	If an attribute is an attribute of an object and the attribute is an instance of HotelRoomAttribute, then the object is an instance of HotelUnit
(=> (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 1946-1957	If TravelerAccommodation is an attribute of an agent and the agent is capable of doing RoomCleaningService 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 HotelUnit and the object is a part of belongings of the agent and the object is capable of doing RoomCleaningService as a patient and the cognitive agent is capable of doing RoomCleaningService as a serviceProvider
(=> (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 2403-2418	If customer a cognitive agent and an agent and the agent employs another cognitive agent and TravelerAccommodation is an attribute of the agent and Porter is an attribute of the other cognitive agent and the cognitive agent possesses an object and the object is an instance of TravelContainer, then there exist another object and a process such that the other object is an instance of HotelUnit and the process is an instance of Carrying and the other 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 TravelerAccommodation is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that rents the entity, the object, the other entity and the third entity and the other entity is an instance of HotelUnit 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 1980-1998	If a process is an instance of RoomService, then there exist an agent, an entity,, , a cognitive agent,, , another process,, , another entity,, , a third process and an object such that customer the cognitive agent and the agent and the agent is an agent of the process and the other process is an instance of requesting and the 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 PreparedFood and the cognitive agent is located at the object and the object is an instance of HotelUnit and the third process is an instance of DeliveryService 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 143-145	If a collection is an instance of RoomInventory, then memberType the collection and HotelUnit

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