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(hotel unit)

appearance as argument number 1

s__documentation(s__HotelUnit,s__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

s__instance(s__StationaryArtifact,s__SetOrClass)

s__subclass(s__HotelUnit,s__StationaryArtifact)

s__instance(s__HotelUnit,s__SetOrClass)

Hotel.kif 84-84

Hotel unit is a subclass of stationary artifact

s__instance(s__TemporaryResidence,s__SetOrClass)

s__instance(s__HotelUnit,s__SetOrClass)

s__subclass(s__HotelUnit,s__TemporaryResidence)

Hotel.kif 85-85

Hotel unit is a subclass of temporary residence

appearance as argument number 2

s__instance(s__HotelUnit,s__SetOrClass)

s__subclass(s__HotelRoom,s__HotelUnit)

s__instance(s__HotelRoom,s__SetOrClass)

Hotel.kif 115-115

Hotel room is a subclass of hotel unit

s__instance(s__HotelUnit,s__SetOrClass)

s__instance(s__HotelVilla,s__SetOrClass)

s__subclass(s__HotelVilla,s__HotelUnit)

Hotel.kif 128-128

Hotel villa is a subclass of hotel unit

s__termFormat(s__EnglishLanguage,s__HotelUnit,'"hotel unit"')

Hotel.kif 89-89

appearance as argument number 3

s__domainSubclass(s__reservedRoom__m,n__2,s__HotelUnit)	Hotel.kif 2918-2918	The number 2 argument of reserved room is a subclass of hotel unit
s__domainSubclass(s__roomAmenity__m,n__1,s__HotelUnit)	Hotel.kif 273-273	The number 1 argument of room amenity is a subclass of hotel unit
s__domainSubclass(s__roomAttribute__m,n__1,s__HotelUnit)	Hotel.kif 440-440	The number 1 argument of room attribute is a subclass of hotel unit
s__domainSubclass(s__roomPolicy__m,n__1,s__HotelUnit)	Hotel.kif 425-425	The number 1 argument of room policy is a subclass of hotel unit
s__domainSubclass(s__roomStay__m,n__3,s__HotelUnit)	Hotel.kif 2712-2712	The number 3 argument of room stay is a subclass of hotel unit

antecedent

( ! [V__ROOM,V__HOTELUNIT] : (((s__instance(V__ROOM,s__Object) & s__instance(V__HOTELUNIT,s__Class)) => (((s__attribute(V__ROOM,s__Oversized) & s__immediateInstance(V__ROOM,V__HOTELUNIT) & s__subclass(V__HOTELUNIT,s__HotelUnit)) => (( ? [V__NORMAL, V__AREA1, V__AREA2, V__U] : ((s__instance(V__NORMAL,s__Physical) & (s__immediateInstance(V__NORMAL,V__HOTELUNIT) & s__instance(V__U,s__UnitOfArea) & s__measure(V__NORMAL,s__MeasureFn(V__AREA1,V__U)) & s__measure(V__ROOM,s__MeasureFn(V__AREA2,V__U)) & s__instance(V__AREA1,s__AreaMeasure) & s__instance(V__AREA2,s__AreaMeasure) & s__greaterThan(V__AREA2,V__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
( ! [V__X] : (((s__attribute(V__X,s__Suite) & s__instance(V__X,s__HotelUnit)) => (( ? [V__R1, V__R2] : ((s__instance(V__R1,s__HotelRoom) & s__instance(V__R2,s__HotelRoom) & s__orientation(V__R1,V__X,s__Inside) & s__orientation(V__R2,V__X,s__Inside) & ~((V__R1 = V__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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__ROOM] : ((s__instance(V__ROOM,s__HotelUnit) => (( ? [V__BED] : ((s__instance(V__BED,s__Bed) & s__located(V__BED,V__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
( ! [V__ROOM] : ((s__instance(V__ROOM,s__HotelUnit) => (( ? [V__HOTEL] : ((s__instance(V__HOTEL,s__Agent) & (s__attribute(V__HOTEL,s__TravelerAccommodation) & s__element(V__ROOM,s__PropertyFn(V__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
No TPTP formula. May not be expressible in strict first order.	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

( ! [V__X,V__Y] : ((s__instance(V__X,s__Object) => (((s__attribute(V__X,V__Y) & s__instance(V__Y,s__HotelRoomAttribute)) => (s__instance(V__X,s__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
( ! [V__X] : ((s__instance(V__X,s__Agent) => (((s__attribute(V__X,s__TravelerAccommodation) & s__capability(s__RoomCleaningService,s__agent__m,V__X)) => (( ? [V__MAID, V__HOTELROOM] : ((s__instance(V__MAID,s__CognitiveAgent) & (s__employs(V__X,V__MAID) & s__attribute(V__MAID,s__Maid) & s__instance(V__HOTELROOM,s__HotelUnit) & s__part(V__HOTELROOM,s__PropertyFn(V__X)) & s__capability(s__RoomCleaningService,s__patient__m,V__HOTELROOM) & s__capability(s__RoomCleaningService,s__serviceProvider__m,V__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
( ! [V__AGENT,V__CUST,V__X,V__LUGGAGE] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent) & s__instance(V__X,s__CognitiveAgent)) => (((s__customer(V__CUST,V__AGENT) & s__employs(V__AGENT,V__X) & s__attribute(V__AGENT,s__TravelerAccommodation) & s__attribute(V__X,s__Porter) & s__possesses(V__CUST,V__LUGGAGE) & s__instance(V__LUGGAGE,s__TravelContainer)) => (( ? [V__ROOM, V__CARRY] : ((s__instance(V__ROOM,s__HotelUnit) & s__instance(V__CARRY,s__Carrying) & s__agent(V__CARRY,V__X) & (s__destination(V__CARRY,V__ROOM) \| s__origin(V__CARRY,V__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
No TPTP formula. May not be expressible in strict first order.	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
( ! [V__SVC] : ((s__instance(V__SVC,s__RoomService) => (( ? [V__AGENT, V__FOOD, V__CUSTOMER, V__RQST, V__ORDER, V__DELIVERY, V__LOC] : ((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUSTOMER,s__CognitiveAgent) & (s__customer(V__CUSTOMER,V__AGENT) & s__agent(V__SVC,V__AGENT) & s__instance(V__RQST,s__Requesting) & s__agent(V__RQST,V__CUSTOMER) & s__patient(V__RQST,V__ORDER) & s__represents(V__ORDER,V__FOOD) & s__instance(V__FOOD,s__PreparedFood) & s__located(V__CUSTOMER,V__LOC) & s__instance(V__LOC,s__HotelUnit) & s__instance(V__DELIVERY,s__DeliveryService) & s__patient(V__DELIVERY,V__FOOD) & s__destination(V__DELIVERY,V__LOC) & s__before(s__BeginFn(s__WhenFn(V__RQST)) ,s__BeginFn(s__WhenFn(V__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
( ! [V__X] : ((s__instance(V__X,s__RoomInventory) => (s__memberType(V__X,s__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 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