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

(documentation TravelerAccommodation EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Traveler Accommodation.")	naics.kif 11567-11569
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 01/ CLHS_Staff_Accommodation.JPG")	pictureList.kif 12043-12043
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 14/ Histana_Hotel.jpg")	pictureList.kif 12045-12045
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 2c/ Accommodation_block_on_container_ship.jpg")	pictureList.kif 12042-12042
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ KIA_check_in.jpg")	pictureList.kif 12049-12049
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7e/ Levin_alppitalo.jpg")	pictureList.kif 12044-12044
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 81/ WM2007_PreparationFinalDay-03.jpg")	pictureList.kif 12046-12046
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg")	pictureList.kif 12048-12048
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ b/ b7/ WM2007_PreparationFinalDay-01.jpg")	pictureList.kif 12047-12047
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ d/ d5/ Refugees_Accommodation_in_Tbilisi.jpg")	pictureList.kif 10305-10305
(externalImage TravelerAccommodation "http://upload.wikimedia.org/wikipedia/ commons/ f/ fa/ Front_desk_hotel.JPG")	pictureList.kif 12050-12050
(relatedInternalConcept TravelerAccommodation TourismIndustry)	Economy.kif 2028-2028	Traveler accommodation is internally related to tourism industry
(subAttribute TravelerAccommodation Accommodation)	naics.kif 11565-11565	Traveler accommodation is a subattribute of accommodation

appearance as argument number 2

(subAttribute CasinoHotels TravelerAccommodation)	naics.kif 11578-11578	Casino hotels is a subattribute of traveler accommodation
(subAttribute HotelsExceptCasinoHotelsAndMotels TravelerAccommodation)	naics.kif 11571-11571	Hotels except casino hotels and motels is a subattribute of traveler accommodation
(subAttribute OtherTravelerAccommodation TravelerAccommodation)	naics.kif 11584-11584	Other traveler accommodation is a subattribute of traveler accommodation
(termFormat ChineseLanguage TravelerAccommodation "旅客住宿")	domainEnglishFormat.kif 59050-59050	Other traveler accommodation is a subattribute of traveler accommodation
(termFormat ChineseTraditionalLanguage TravelerAccommodation "旅客住宿")	domainEnglishFormat.kif 59049-59049	Other traveler accommodation is a subattribute of traveler accommodation
(termFormat EnglishLanguage TravelerAccommodation "traveler accommodation")	domainEnglishFormat.kif 59048-59048	Other traveler accommodation is a subattribute of traveler accommodation

antecedent

(=> (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 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 (attribute ?X TravelerAccommodation) (element ?CASINO (PropertyFn ?X)) (instance ?CASINO Casino)) (attribute ?X CasinoHotels))	Hotel.kif 1463-1468	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
(=> (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 an agent is a customer of a cognitive agent and the agent employs another cognitive agent and traveler accommodation 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 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 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
(=> (and (employs ?HOTEL ?ATHLETE) (attribute ?HOTEL TravelerAccommodation) (attribute ?ATHLETE TennisProfessional) (guest ?CUST ?HOTEL)) (modalAttribute (exists (?TENNIS ?LOC) (and (instance ?TENNIS Tennis) (contestParticipant ?TENNIS ?ATHLETE) (contestParticipant ?TENNIS ?CUST) (located ?TENNIS ?LOC) (located ?HOTEL ?LOC))) Possibility))	Hotel.kif 1533-1546	If an agent employs a cognitive agent and traveler accommodation is an attribute of the agent and tennis pro is an attribute of the cognitive agent and another cognitive agent is a guest at the agent, then the statement there exist an entity and another entity such that the entity is an instance of tennis and the cognitive agent participates in the entity and the other cognitive agent participates in the entity and the entity is located at the other entity and the agent is located at the other entity has the modal force of possibility
(=> (and (instance ?POLICY NoHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (not (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM))))))) Likely))	Hotel.kif 2692-2708	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
(=> (and (instance ?POLICY WithHousekeepingPolicy) (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation)) (modalAttribute (exists (?GUEST ?ROOM) (and (guest ?GUEST ?AGENT) (holdsDuring (WhenFn (stays ?GUEST ?ROOM)) (exists (?CLEAN) (and (instance ?CLEAN RoomCleaningService) (patient ?CLEAN ?ROOM)))))) Likely))	Hotel.kif 2715-2730	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
(=> (and (instance ?X Nursery) (element ?X (PropertyFn ?HOTEL)) (attribute ?HOTEL TravelerAccommodation)) (exists (?NANNY ?CARE) (and (attribute ?X CommunalAttribute) (employs ?HOTEL ?NANNY) (hasPurpose ?NANNY (and (instance ?CARE ChildCareService) (serviceProvider ?CARE ?NANNY))))))	Hotel.kif 1913-1925	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 there exist a cognitive agent and an entity such that communal is an attribute of the object and the agent employs the cognitive agent and the cognitive agent has the purpose the entity is an instance of child-care service and the cognitive agent provides a service during the entity
(=> (and (offers ?HOTEL ?MP) (instance ?MP MealPlan) (includedMeal ?MP ?ATTR) (attribute ?HOTEL TravelerAccommodation) (guest ?GUEST ?HOTEL) (buys ?GUEST ?HOTEL ?MP)) (holdsDuring (WhenFn (guest ?GUEST ?HOTEL)) (exists (?TI) (holdsDuring ?TI (exists (?MEAL) (and (attribute ?MEAL ?ATTR) (hasPurpose ?MEAL (exists (?E) (and (instance ?E Eating) (agent ?E ?GUEST) (patient ?E ?MEAL))))))))))	Hotel.kif 1569-1589	If an 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 agent and a cognitive agent is a guest at the agent and the cognitive agent buys the meal plan from the 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 has the purpose there exists a third entity such that the third entity is an instance of eating and the 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 cognitive agent is a guest at the agent
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL)))	Hotel.kif 69-75	If an agent rents an object to another agent during a time interval and traveler accommodation is an attribute of the agent and the object is an instance of hotel unit, then the other agent is a guest at the agent holds during the time interval
(=> (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

consequent

(=> (accommodationProvider ?PKG ?HOTEL) (attribute ?HOTEL TravelerAccommodation))	Hotel.kif 2779-2781	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
(=> (and (fulfillingEntity ?AGENT ?RESERVE) (instance ?RESERVE HotelReservation)) (attribute ?AGENT TravelerAccommodation))	Hotel.kif 2858-2862	If an agent fulfills a reservation and the reservation is an instance of hotel reservation, then traveler accommodation is an attribute of the agent
(=> (and (subjectiveAttribute ?ENTITY ?ATTR ?AGENT) (instance ?ATTR HotelRating)) (attribute ?ENTITY TravelerAccommodation))	Hotel.kif 3041-3045	If an agent believes an object is an attribute and the attribute is an instance of hotel rating, then traveler accommodation is an attribute of the object
(=> (instance ?POLICY HousekeepingPolicy) (exists (?AGENT) (and (policyOwner ?AGENT ?POLICY) (attribute ?AGENT TravelerAccommodation))))	Hotel.kif 2653-2658	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
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL)))))	Hotel.kif 103-108	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 ?X HotelFrontDesk) (exists (?ORG) (and (attribute ?ORG TravelerAccommodation) (subOrganization ?X ?ORG))))	Hotel.kif 1759-1764	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 is a part of the organization the other organization

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