TravelerAccommodation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - TravelerAccommodation

TravelerAccommodation(traveler accommodation)

more pictures...

Ritz, bed-and-breakfast, bed_and_breakfast, caravan_inn, caravansary, caravanserai, court, fleabag, holiday_resort, khan, motel, motor_hotel, motor_inn, motor_lodge, post_house, posthouse, resort, resort_hotel, rest_house, ski_lodge, spa, tourist_court

appearance as argument number 1

s__documentation(s__TravelerAccommodation,s__EnglishLanguage,'"An Attribute of an Organization, that specifies that the primary business of the organization involves Traveler Accommodation."')	naics.kif 11490-11492
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG"')	pictureList.kif 12081-12081
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 1/ 14/ Histana_Hotel.jpg"')	pictureList.kif 12083-12083
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Accommodation_block_on_container_ship.jpg"')	pictureList.kif 12080-12080
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ KIA_check-in.jpg"')	pictureList.kif 12087-12087
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ Levin_alppitalo.jpg"')	pictureList.kif 12082-12082
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WM2007_PreparationFinalDay-03.jpg"')	pictureList.kif 12084-12084
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg"')	pictureList.kif 12086-12086
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg"')	pictureList.kif 12085-12085
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ Refugees_Accommodation_in_Tbilisi.jpg"')	pictureList.kif 10328-10328
s__externalImage(s__TravelerAccommodation,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ fa/ Front_desk-hotel.JPG"')	pictureList.kif 12088-12088
s__relatedInternalConcept(s__TravelerAccommodation,s__TourismIndustry)	Economy.kif 1907-1907	Traveler accommodation is internally related to tourism industry
s__subAttribute(s__TravelerAccommodation,s__Accommodation)	naics.kif 11488-11488	Traveler accommodation is a subattribute of accommodation

appearance as argument number 2

s__subAttribute(s__CasinoHotels,s__TravelerAccommodation)	naics.kif 11501-11501	Casino hotels is a subattribute of traveler accommodation
s__subAttribute(s__HotelsExceptCasinoHotelsAndMotels,s__TravelerAccommodation)	naics.kif 11494-11494	Hotels except casino hotels and motels is a subattribute of traveler accommodation
s__subAttribute(s__OtherTravelerAccommodation,s__TravelerAccommodation)	naics.kif 11507-11507	Other traveler accommodation is a subattribute of traveler accommodation
s__termFormat(s__ChineseLanguage,s__TravelerAccommodation,'"旅客住宿"')	domainEnglishFormat.kif 58953-58953
s__termFormat(s__ChineseTraditionalLanguage,s__TravelerAccommodation,'"旅客住宿"')	domainEnglishFormat.kif 58952-58952
s__termFormat(s__EnglishLanguage,s__TravelerAccommodation,'"traveler accommodation"')	domainEnglishFormat.kif 58951-58951

antecedent

( ! [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 1883-1894	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__X,V__CASINO] : (s__instance(V__X,s__Agent) => (s__attribute(V__X,s__TravelerAccommodation) & s__element(V__CASINO,s__PropertyFn(V__X)) & s__instance(V__CASINO,s__Casino)) => s__attribute(V__X,s__CasinoHotels) ) )	Hotel.kif 1403-1408	If traveler accommodation is an attribute of an agent and an entity is an element of belongings of the agent and the entity is an instance of Casino, then casino hotels is an attribute of the agent
( ! [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 2338-2353	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 1470-1483	If a cognitive agent employs another cognitive agent and traveler accommodation is an attribute of the cognitive agent and tennis pro is an attribute of the other cognitive agent and a third cognitive agent is a guest at the cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the other cognitive agent participates in the entity and the third cognitive agent participates in the entity and the entity is located at the other entity and the cognitive agent is located at the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2627-2643	If a policy is an instance of no housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there doesn't exist a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2650-2665	If a policy is an instance of with housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there exists a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1850-1862	If an object is an instance of nursery and the object is an element of belongings of an agent and traveler accommodation is an attribute of the agent, then communal is an attribute of the object and the agent employs a cognitive agent and the cognitive agent purpose there exists an entity such that the entity is an instance of child-care service and the cognitive agent provides a service during the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1506-1526	If a cognitive agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the cognitive agent and another cognitive agent is a guest at the cognitive agent and the other cognitive agent buys the meal plan from the cognitive agent, then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity purpose there exists a third entity such that the third entity is an instance of eating and the other cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the other cognitive agent is a guest at the cognitive agent
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
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 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

consequent

( ! [V__PKG,V__HOTEL] : ((s__instance(V__PKG,s__HotelPackage) & s__instance(V__HOTEL,s__Organization)) => s__accommodationProvider(V__PKG,V__HOTEL) => s__attribute(V__HOTEL,s__TravelerAccommodation) ) )	Hotel.kif 2710-2712	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
( ! [V__AGENT,V__RESERVE] : (s__instance(V__AGENT,s__Agent) => (s__fulfillingEntity(V__AGENT,V__RESERVE) & s__instance(V__RESERVE,s__HotelReservation)) => s__attribute(V__AGENT,s__TravelerAccommodation) ) )	Hotel.kif 2789-2793	If an agent fulfills a reservation and the reservation is an instance of hotel reservation, then traveler accommodation is an attribute of the agent
( ! [V__AGENT,V__ATTR,V__ENTITY] : ((s__instance(V__AGENT,s__Agent) & s__instance(V__ENTITY,s__Object)) => (s__subjectiveAttribute(V__ENTITY,V__ATTR,V__AGENT) & s__instance(V__ATTR,s__HotelRating)) => s__attribute(V__ENTITY,s__TravelerAccommodation) ) )	Hotel.kif 2967-2971	If an agent believes an object is an attribute and the attribute is an instance of HotelRating, then traveler accommodation is an attribute of the object
( ! [V__POLICY] : (s__instance(V__POLICY,s__HousekeepingPolicy) => ( ? [V__AGENT] : ((s__instance(V__AGENT,s__Organization) & (s__policyOwner(V__AGENT,V__POLICY) & s__attribute(V__AGENT,s__TravelerAccommodation))))) ) )	Hotel.kif 2588-2593	If a policy is an instance of housekeeping policy, then there exists an organization such that the organization enacts policy the policy and traveler accommodation is an attribute of the organization
( ! [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
( ! [V__X] : (s__instance(V__X,s__HotelFrontDesk) => ( ? [V__ORG] : ((s__instance(V__ORG,s__Organization) & (s__attribute(V__ORG,s__TravelerAccommodation) & s__subOrganization(V__X,V__ORG))))) ) )	Hotel.kif 1696-1701	If an organization is an instance of front desk, then there exists another organization such that traveler accommodation is an attribute of the other organization and the organization は組織 the other organization の一部では %n

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners