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, traveler_accommodation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11492-11494
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12081-12081	"http://upload.wikimedia.org/wikipedia/commons/0/01/ CLHS_Staff_Accommodation.JPG" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12083-12083	"http://upload.wikimedia.org/wikipedia/commons/1/14/ Histana_Hotel.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12080-12080	"http://upload.wikimedia.org/wikipedia/commons/2/2c/ Accommodation_block_on_container_ship.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12087-12087	"http://upload.wikimedia.org/wikipedia/commons/3/37/ KIA_check-in.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12082-12082	"http://upload.wikimedia.org/wikipedia/commons/7/7e/ Levin_alppitalo.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12084-12084	"http://upload.wikimedia.org/wikipedia/commons/8/81/ WM2007_PreparationFinalDay-03.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12086-12086	"http://upload.wikimedia.org/wikipedia/commons/b/b4/ Former_St_Wilfrid%27s_Church%2C_Elm_Grove%2C_Brighton_01.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12085-12085	"http://upload.wikimedia.org/wikipedia/commons/b/b7/ WM2007_PreparationFinalDay-01.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10328-10328	"http://upload.wikimedia.org/wikipedia/commons/d/d5/ Refugees_Accommodation_in_Tbilisi.jpg" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12088-12088	"http://upload.wikimedia.org/wikipedia/commons/f/fa/ Front_desk-hotel.JPG" is a URL depicting traveler accommodation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1907-1907	Traveler accommodation is internally related to tourism industry
No TPTP formula. May not be expressible in strict first order.	naics.kif 11490-11490	Traveler accommodation is a subattribute of accommodation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11503-11503	Casino hotels is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order.	naics.kif 11496-11496	Hotels except casino hotels and motels is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order.	naics.kif 11509-11509	Other traveler accommodation is a subattribute of traveler accommodation
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10273-10273	"traveler accommodation" is the printable form of traveler accommodation in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1879-1890	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1399-1404	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2333-2348	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 1466-1479	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 a contest and an object such that the contest is an instance of tennis and the other cognitive agent participates in the contest and the third cognitive agent participates in the contest and the contest is located at the object and the cognitive agent is located at the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2622-2638	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 a human and a temporary residence such that the human is a guest at the organization and there doesn't exist a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2645-2660	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 a human and a temporary residence such that the human is a guest at the organization and there exists a process such that the process is an instance of service and the temporary residence is a patient of the process holds during the time of existence of the human stays at the temporary residence has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1846-1858	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 has purpose there exists a service such that the service is an instance of child-care service and the cognitive agent provides a service during the service
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1502-1522	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 an object such that the relational attribute is an attribute of the object and the object has purpose there exists a process such that the process is an instance of eating and the other cognitive agent is an agent of the process and the object is a patient of the process 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 a cognitive agent, then the cognitive agent has purpose there exist another cognitive agent and an object such that the cognitive agent rents the object to the other cognitive agent during a time interval and the object is an instance of hotel unit and the object is an element of belongings of the cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2706	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2783-2787	If an agent fulfills a reservation and the reservation is an instance of hotel reservation, then traveler accommodation is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1156-1174	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process, a cognitive agent,, , a function quantity and a kind of physical such that the other process is an instance of ordering and the organization is an agent of the other process and the cognitive agent is an agent of the process and traveler accommodation is an attribute of the cognitive agent and the cognitive agent is an instance of Hotel-Organization and a kind of physical is an instance of hotel room and the price of the kind of physical set by the cognitive agent according to a pricing scheme is the function quantity and the function quantity is greater than 1000 united states dollar(s) issued by the organization in the policy is a prohibition
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 1084-1101	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a service is an instance of AccommodationService, then there exist a process, a cognitive agent and an object such that the process is an instance of ordering and the organization is an agent of the process and the cognitive agent provides a service during the service and the object is used in the service and traveler accommodation is an attribute of the cognitive agent and the cognitive agent is an instance of Hotel-Organization and SuiteRoom is an attribute of the object issued by the organization in the policy is a prohibition
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 959-975	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process and an agent such that the other process is an instance of ordering and the organization is an agent of the other process and the agent is an agent of the process and traveler accommodation is an attribute of the agent and the agent is an instance of Hotel-Organization and PrivateRate is an attribute of the agent issued by the organization in the policy is a obligation
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 808-823	If an organization is an instance of organization and a policy is an instance of TravelPolicy and the organization enacts policy the policy, then there exists an entity such that if a process is an instance of AccommodationService, then there exist another process and an agent such that the other process is an instance of ordering and the organization is an agent of the other process and the agent is an agent of the process and traveler accommodation is an attribute of the agent and the agent is an instance of Hotel-Organization issued by the organization in the policy is a obligation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2961-2965	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
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 729-738	If an agent is an instance of Hotel-Organization, then there exist a process, an entity and an object such that the process is an instance of AccommodationService and traveler accommodation is an attribute of the agent and the agent is an agent of the process and the process ends up at the entity and the object is an instrument for the process and the object is an instance of hotel unit
No TPTP formula. May not be expressible in strict first order.	TravelPolicies.kif 786-791	If a collection is an instance of HotelChain, then the collection is an instance of collection and an object is a member of the collection and traveler accommodation is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2583-2588	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
No TPTP formula. May not be expressible in strict first order.	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 1692-1697	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners