stays - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - stays

stays

appearance as argument number 1

s__disjointRelation(s__stays__m,s__home__m)	Merge.kif 13331-13331	stays and home are disjoint
s__documentation(s__stays__m,s__ChineseLanguage,'"这是 Human 和e Human 的 TemporaryResidence 之间的关系。"')	chinese_format.kif 3377-3378
s__documentation(s__stays__m,s__EnglishLanguage,'"The relation between a Human and a TemporaryResidence of the Human."')	Merge.kif 13334-13335
s__domain(s__stays__m,n__1,s__Human)	Merge.kif 13332-13332	The number 1 argument of stays is an instance of human
s__domain(s__stays__m,n__2,s__TemporaryResidence)	Merge.kif 13333-13333	The number 2 argument of stays is an instance of temporary residence
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__stays__m,s__BinaryPredicate)	Merge.kif 13330-13330	stays is an instance of binary predicate
s__subrelation(s__stays__m,s__inhabits__m)	Merge.kif 13329-13329	stays is a subrelation of inhabits

appearance as argument number 2

s__format(s__ChineseLanguage,s__stays__m,'"%1 stays 在 %2 "')	domainEnglishFormat.kif 4643-4643
s__format(s__ChineseTraditionalLanguage,s__stays__m,'"%1 stays 在 %2 "')	domainEnglishFormat.kif 4642-4642
s__format(s__EnglishLanguage,s__stays__m,'"%1 stays at %2"')	domainEnglishFormat.kif 4641-4641
s__termFormat(s__ChineseLanguage,s__stays__m,'"停留"')	domainEnglishFormat.kif 55099-55099
s__termFormat(s__ChineseTraditionalLanguage,s__stays__m,'"停留"')	domainEnglishFormat.kif 55098-55098
s__termFormat(s__EnglishLanguage,s__stays__m,'"stays"')	domainEnglishFormat.kif 55097-55097

antecedent

( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__GUEST,V__HOTEL] : ((s__instance(V__O,s__Object) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__SetOrClass) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__OBJ,s__SetOrClass) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (s__freeRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL) ) )	Hotel.kif 334-349	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price 0 united states dollar(s) for the agent
( ! [V__P,V__R,V__ROOM,V__S,V__PROC,V__GUEST,V__HOTEL] : ((s__instance(V__P,s__Process) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__SetOrClass) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__S,s__Process) & s__instance(V__PROC,s__SetOrClass) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (s__freeRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process) & s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__patient(V__P,V__GUEST) & (s__instance(V__P,V__PROC) \| (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => s__price(V__P,s__MeasureFn(n__0,s__UnitedStatesDollar),V__HOTEL) ) )	Hotel.kif 351-365	If use of a set or class is free for a kind of hotel unit and the set or class is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price 0 united states dollar(s) for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 289-308	If a human is a guest at a cognitive agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the cognitive agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the cognitive agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2600-2620	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity and another entity such that the entity is a guest at the organization and the entity stays at the other entity and a third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
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 455-466	If a kind of stationary artifact can accommodate at most an integer people and an entity is an instance of a kind of stationary artifact and the entity is an element of belongings of an agent, then the statement there exists another entity such that the other entity is an instance of group of people and a third entity is a member count of the other entity and the third entity is less than or equal to the integer and the other entity stays at the entity has the modal force of possibility
( ! [V__O,V__P,V__R,V__ROOM,V__OBJ,V__PRICE,V__GUEST,V__HOTEL] : ((s__instance(V__O,s__Object) & s__instance(V__P,s__Process) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__SetOrClass) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__OBJ,s__SetOrClass) & s__instance(V__PRICE,s__CurrencyMeasure) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (s__paidRoomAmenity(V__ROOM,V__OBJ) & s__subclass(V__OBJ,s__Object)) => (s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__instance(V__O,V__OBJ) & s__located(V__O,V__R) & s__instance(V__P,s__Process) & s__agent(V__P,V__GUEST) & (s__located(V__P,V__O) \| s__patient(V__P,V__O) \| s__instrument(V__P,V__O) \| s__resource(V__P,V__O))) => (s__price(V__P,V__PRICE,V__HOTEL) & s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar))) ) )	Hotel.kif 374-394	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of object, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the set or class and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the object or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the process is price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
( ! [V__P,V__R,V__ROOM,V__S,V__PRICE,V__PROC,V__GUEST,V__HOTEL] : ((s__instance(V__P,s__Process) & s__instance(V__R,s__TemporaryResidence) & s__instance(V__ROOM,s__SetOrClass) & s__subclass(V__ROOM,s__HotelUnit) & s__instance(V__S,s__Process) & s__instance(V__PRICE,s__CurrencyMeasure) & s__instance(V__PROC,s__SetOrClass) & s__instance(V__GUEST,s__Human) & s__instance(V__HOTEL,s__Agent)) => (s__paidRoomAmenity(V__ROOM,V__PROC) & s__subclass(V__PROC,s__Process)) => (s__instance(V__R,V__ROOM) & s__stays(V__GUEST,V__R) & s__element(V__R,s__PropertyFn(V__HOTEL)) & s__patient(V__P,V__GUEST) & (s__instance(V__P,V__PROC) \| (s__instance(V__S,V__PROC) & s__subProcess(V__P,V__S))) & s__located(V__P,V__R)) => (s__price(V__P,V__PRICE,V__HOTEL) & s__greaterThan(V__PRICE,s__MeasureFn(n__0,s__UnitedStatesDollar))) ) )	Hotel.kif 396-414	If renters of a kind of hotel unit can pay to use a set or class and the set or class is a subclass of process, then if a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the set or class or another process is an instance of the set or class and the process is a subprocess of the other process and the process is located at the temporary residence, then the process is price the processRICE for the agent and the processRICE is greater than 0 united states dollar(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2893-2904	If an agent is a reservation for a kind of hotel unit and a reservation starts at the agent and another reservation ends at the agent and the agent reserves a third reservation, then the statement an entity is an instance of a kind of hotel unit and the third reservation stays at the entity holds during interval between the reservation and the other reservation has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 986-992	If children's suite is an attribute of an object, then the object purpose there exists an entity such that the entity is an instance of human child and the entity stays at the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1194-1205	If female level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical purpose there exists an entity such that female is an attribute of the entity and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1175-1187	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 999-1007	If female executive room is an attribute of an object, then the object purpose there exists an entity such that the entity is an instance of human and female is an attribute of the entity and business executive is an attribute of the entity and the entity stays at the object
( ! [V__SVC] : (s__instance(V__SVC,s__ExecutiveService) => ( ? [V__HUMAN, V__LEVEL, V__ROOM] : ((s__instance(V__HUMAN,s__Human) & s__instance(V__LEVEL,s__Object) & s__instance(V__ROOM,s__TemporaryResidence) & (s__serviceRecipient(V__SVC,V__HUMAN) & s__stays(V__HUMAN,V__ROOM) & s__located(V__ROOM,V__LEVEL) & s__attribute(V__LEVEL,s__ExecutiveLevel))))) ) )	Hotel.kif 2191-2198	If a service is an instance of executive service, then there exist a human, an object and a temporary residence such that the human receives a service during the service and the human stays at the temporary residence and the temporary residence is located at the object and executive level is an attribute of the object
( ! [V__SVC] : (s__instance(V__SVC,s__ValetLaundryService) => ( ? [V__CUST, V__AGENT, V__LOC, V__CLOTHES, V__LAUNDRY, V__PICKUP, V__DELIVERY] : ((s__instance(V__CUST,s__Human) & s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__LOC,s__TemporaryResidence) & (s__customer(V__CUST,V__AGENT) & s__stays(V__CUST,V__LOC) & s__agent(V__SVC,V__AGENT) & s__instance(V__CLOTHES,s__Clothing) & s__instance(V__PICKUP,s__Getting) & s__located(V__PICKUP,V__LOC) & s__patient(V__PICKUP,V__CLOTHES) & s__agent(V__PICKUP,V__AGENT) & (s__instance(V__LAUNDRY,s__LaundryService) \| s__instance(V__LAUNDRY,s__DryCleaningService)) & s__agent(V__LAUNDRY,V__AGENT) & s__patient(V__LAUNDRY,V__CLOTHES) & s__instance(V__DELIVERY,s__DeliveryService) & s__patient(V__DELIVERY,V__CLOTHES) & s__destination(V__DELIVERY,V__LOC) & s__before(s__BeginFn(s__WhenFn(V__PICKUP)) ,s__BeginFn(s__WhenFn(V__LAUNDRY))) & s__before(s__BeginFn(s__WhenFn(V__LAUNDRY)) ,s__BeginFn(s__WhenFn(V__DELIVERY))))))) ) )	Hotel.kif 1775-1796	If a process is an instance of valet laundry, then there exist a human, a cognitive agent,, , a temporary residence,, , an entity,, , another process,, , a third process and a fourth process such that the cognitive agent is a customer of the human and the human stays at the temporary residence and the cognitive agent is an agent of the process and the entity is an instance of clothing and the third process is an instance of getting and the third process is located at the temporary residence and the entity is a patient of the third process and the cognitive agent is an agent of the third process and the other process is an instance of laundry service or the other process is an instance of dry-clean and the cognitive agent is an agent of the other process and the entity is a patient of the other process and the fourth process is an instance of delivery service and the entity is a patient of the fourth process and the fourth process ends up at the temporary residence and the beginning of the time of existence of the third process happens before the beginning of the time of existence of the other process and the beginning of the time of existence of the other process happens before the beginning of the time of existence of the fourth process

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